[coreboot-gerrit] New patch to review for coreboot: be64eeb coreboot: add timer queue implementation