[coreboot-gerrit] Patch merged into coreboot/master: db8693b ACPI: Recover type of wakeup in acpi_is_wakeup()