[coreboot-gerrit] Patch merged into coreboot/master: 986162b exynos5250: Don't disable and re-enable the MMU when uncaching the framebuffer.

the following patch was just integrated into master:
commit 986162b25f1038e5425713883310ba6002859d7d
Author: Gabe Black 
Date:   Sat May 18 22:57:34 2013 -0700

exynos5250: Don't disable and re-enable the MMU when uncaching the framebuffer.

At one time it seemed to be necessary to disable and then re-enable the MMU
    when setting the framebuffer to be uncache-able due to bugs in the MMU
    management code. Since those bugs have been fixed, this is no longer
    necessary.

Change-Id: I5f7b9bd14dc9929efe1834ec9a258d388b8c94e9
    Signed-off-by: Gabe Black 
    Reviewed-on: http://review.coreboot.org/3654
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit