[coreboot-gerrit] Patch set updated for coreboot: eef0d15 coreboot: add thread cooperative multitasking