[coreboot-gerrit] Patch merged into coreboot/master: 19f3092 armv7: cosmetic changes to dcache_op_mva()

the following patch was just integrated into master:
commit 19f3092b5297b2f6e128a97698176ed1173be909
Author: David Hendricks 
Date:   Tue Mar 26 17:47:05 2013 -0700

armv7: cosmetic changes to dcache_op_mva()

This is just a cosmetic change to dcache_op_mva() to (hopefully) make
    it a easier to follow and more difficult to screw up.

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

Build-Tested: build bot (Jenkins) at Thu Mar 28 22:25:33 2013, giving +1
See http://review.coreboot.org/2927 for details.

-gerrit