[coreboot-gerrit] Patch set updated for coreboot: 14920c5 AMD cimx/sb800: Use acpi_is_wakeup_s3()