[coreboot-gerrit] Change in coreboot[master]: boot_state: Reduce precision of reported times