Re: [coreboot] Questions about coreboot on X86