[coreboot-gerrit] Patch merged into coreboot/master: ac76992 exynos5250: Add mct_start to the timer init blob in timer_monotonic_get

the following patch was just integrated into master:
commit ac76992638ba1927397efd7624fa23903e76c5db
Author: Gabe Black 
Date:   Wed Jul 31 22:50:21 2013 -0700

exynos5250: Add mct_start to the timer init blob in timer_monotonic_get

A previous change removed init_timer from timer_monotonic_get because its old
    implementation set up the PWM based timer which was going away. It would still
    be a good idea to initialize the timer at that point, just not the pwm.

Change-Id: I4816710ec2c9d5ca53b704c6b9397bcfac183fdc
    Signed-off-by: Gabe Black 
    Reviewed-on: https://gerrit.chromium.org/gerrit/64160
    Reviewed-by: Ronald G. Minnich 
    Commit-Queue: Gabe Black 
    Tested-by: Gabe Black

See http://review.coreboot.org/4419 for details.

-gerrit