Patch merged into coreboot/master: 5ec69ed exynos5250: monotonic timer implementation (using MCT)

the following patch was just integrated into master:
commit 5ec69ed884852426e17439263e3678c5dfbc71e7
Author: David Hendricks 
Date:   Thu May 2 13:23:08 2013 -0700

exynos5250: monotonic timer implementation (using MCT)

This implements the new monotonic timer API using the global
    multi-core timer (MCT).

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

Build-Tested: build bot (Jenkins) at Fri May  3 06:19:27 2013, giving +1
See http://review.coreboot.org/3175 for details.

-gerrit