[coreboot-gerrit] Patch set updated for coreboot: cc75825 PS2 keyboard: Use acpi_is_wakeup_s3()