[coreboot-gerrit] Patch set updated for coreboot: da581be x86: fix compile error for !CONFIG_MULTIBOOT