[coreboot] Patch merged into coreboot/master: e9eb5cf Updates to x86/include/arch/acpi.h for use in fadt.c