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