[coreboot-gerrit] Patch merged into coreboot/master: 040f25b timer.h: add mono_time_diff_microseconds()

the following patch was just integrated into master:
commit 040f25b73a9e131d18c2f64a6c3b60e695e3d7d6
Author: David Hendricks 
Date:   Fri May 3 12:28:11 2013 -0700

timer.h: add mono_time_diff_microseconds()

The current way to get a simple mono_time difference is:
    1. Declare a rela_time struct
    2. Assign it the value of mono_time_diff(t1, t2)
    3. Get microseconds from it using rela_time_in_microseconds().

This patch adds a simpler method. Now one only needs to call
    mono_time_diff_microseconds(t1, t2) to obtain the same value which
    is produced from the above three steps.

Change-Id: Ibfc9cd211e48e8e60a0a7703bff09cee3250e88b
    Signed-off-by: David Hendricks 
    Reviewed-on: http://review.coreboot.org/3190
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Sun May  5 23:54:39 2013, giving +1
Reviewed-By: David Hendricks  at Sun May  5 23:57:02 2013, giving +2
See http://review.coreboot.org/3190 for details.

-gerrit