[coreboot-gerrit] New patch to review for coreboot: b9b0344 AGESA boards: Use acpi_is_wakeup_s3()