Re: [coreboot] BIOS bootblock branching to coreboot