[coreboot] Patch merged into coreboot/master: 4c00556 use acpi.h include instead of manually adding acpi_slp_type.