[coreboot] Patch merged into coreboot/master: c2d6e3a Add more timestamps in coreboot.