[coreboot] Patch set updated for coreboot: 0a2f25b Include arch/acpi.h instead of manually adding acpi_slp_type.