[coreboot] Patch merged into coreboot/master: 8254fd4 Add a config flag to enable time stamp collection