[coreboot-gerrit] Change in coreboot[master]: coreboot_table: Measure time of `write_coreboot_table()`