[coreboot-gerrit] Patch merged into coreboot/master: d39c650 exynos5: select HAVE_MONOTONIC_TIMER

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit d39c650e0616178fe8451afc1d18f6c98adf7f1c
Author: David Hendricks <dhendrix at chromium.org>
Date:   Mon May 6 16:12:20 2013 -0700

    exynos5: select HAVE_MONOTONIC_TIMER
    
    We have the monotonic timer implemented on exynos now, and this
    also enables helpful bootstage prints with timing info.
    
    Change-Id: I3baa4c9d70d4b4d059abd5e05eddcabd5258dbfd
    Signed-off-by: David Hendricks <dhendrix at chromium.org>
    Reviewed-on: http://review.coreboot.org/3210
    Reviewed-by: Aaron Durbin <adurbin at google.com>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>

Build-Tested: build bot (Jenkins) at Tue May  7 08:29:40 2013, giving +1
See http://review.coreboot.org/3210 for details.

-gerrit