[coreboot] bios_extract patches