Patch merged into coreboot/master: 0bb875b exynos5/5250: Update timer call sites to use monotonic timer API

the following patch was just integrated into master:
commit 0bb875be5e575b6eceb081d1a92da467b87aa96b
Author: David Hendricks 
Date:   Thu May 2 14:23:51 2013 -0700

exynos5/5250: Update timer call sites to use monotonic timer API

This goes thru various call sites where we used timer_us() and updates
    them to use the new monotonic timer API.

udelay() changed substantially and now gracefully handles wraparound.

Change-Id: Ie2cc86a4125cf0de12837fd7d337a11aed25715c
    Signed-off-by: David Hendricks 
    Reviewed-on: http://review.coreboot.org/3176
    Reviewed-by: Aaron Durbin 
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Sat May  4 14:39:39 2013, giving +1
See http://review.coreboot.org/3176 for details.

-gerrit