[coreboot-gerrit] Patch set updated for coreboot: ca2dd46 acpi: split resume check and actual resume code