Patch merged into coreboot/master: 90b4ce2 armv7: Clean up the mmu setup a bit

the following patch was just integrated into master:
commit 90b4ce27759c2cd63586481d2bafeeac61e5ab70
Author: Ronald G. Minnich 
Date:   Mon Jan 28 09:01:26 2013 -0800

armv7: Clean up the mmu setup a bit

The previous incarnation did not use all of mmu_setup, which meant
    we did not carefully disable things before (possibly) changing them.

This code is tested and works, and it's a bit of a simplification.

Change-Id: I0560f9b8e25f31cd90e34304d6ec987fc5c87699
    Signed-off-by: Ronald G. Minnich 
    Signed-off-by: David Hendricks 
    Reviewed-on: http://review.coreboot.org/2204
    Reviewed-by: Peter Stuge 
    Tested-by: build bot (Jenkins)

Build-Tested: build bot (Jenkins) at Tue Jan 29 00:11:38 2013, giving +1
Reviewed-By: Peter Stuge  at Tue Jan 29 00:10:04 2013, giving +2
See http://review.coreboot.org/2204 for details.

-gerrit