[coreboot-gerrit] New patch to review for coreboot: eb8b819 timer.h: add mono_time_diff_microseconds()