Re: [coreboot] 512K BIOS