[coreboot-gerrit] Patch set updated for coreboot: 0043e88 AGESA boards: Use acpi_is_wakeup_s3()