[coreboot-gerrit] New patch to review for coreboot: include/timestamp.h: Add time stamps `START_TIMER_INIT` and `END_TIMER_INIT`