[coreboot-gerrit] New patch to review for coreboot: 3ed4667 x86/include/arch/acpi.h: remove incorrect semicolon