[coreboot-gerrit] Patch merged into coreboot/master: efac717 x86/include/arch/acpi.h: remove incorrect semicolon