[coreboot-gerrit] Patch set updated for coreboot: b04b233 cpu/amd/pi: Use acpi_is_wakeup()