[coreboot-gerrit] Patch set updated for coreboot: 2151fea timer.h: add mono_time_diff_microseconds()