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