[coreboot-gerrit] New patch to review for coreboot: c45d3a5 ACPI: Recover type of wakeup in acpi_is_wakeup()