[coreboot-gerrit] Change in coreboot[master]: Timestamps: Add option to print timestamps to debug console