[coreboot-gerrit] Patch set updated for coreboot: 379e890 kirby: pit: Fix up wakeup_need_reset