[coreboot] New patch to review for coreboot: 294bcfe Make set_boot_successful depend on ARCH_X86