[coreboot] Patch set updated for coreboot: 088c7a4 acpi: Add defines for functional fixed hardware