[coreboot] Patch merged into coreboot/master: 1b0d000 Include arch/acpi.h instead of manually adding acpi_slp_type.