[coreboot-gerrit] Patch merged into coreboot/master: 7ae7fc0 x86: fix compile error for !CONFIG_MULTIBOOT