[coreboot-gerrit] Patch merged into coreboot/master: 21729b7 kirby: pit: Fix up wakeup_need_reset