[coreboot] New patch to review for coreboot: 484acec Include arch/acpi.h instead of manually adding acpi_slp_type.