Re: [coreboot] Coreboot can't boot to kernel.