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