[coreboot] New patch to review for coreboot: 4c00556 use acpi.h include instead of manually adding acpi_slp_type.