[coreboot] Patch set updated for coreboot: 33e6810 Add more timestamps in coreboot.