Re: [coreboot] bios_extract patches