[coreboot-gerrit] Patch set updated for coreboot: 38a84a9 PCI VGA ROM: Use acpi_is_wakeup_s3()