[coreboot] New patch to review for coreboot: e9eb5cf Updates to x86/include/arch/acpi.h for use in fadt.c