[coreboot] Patch merged into coreboot/master: 4b6be98 Change TARGET_I386 to ARCH_X86