Re: [coreboot] Linux kernel hangs