[coreboot-gerrit] Patch set updated for coreboot: 010641f coreboot: add timer queue implementation