[coreboot-gerrit] Patch merged into coreboot/master: d21ca52 armv7: pass incremented value to dccimvac

the following patch was just integrated into master:
commit d21ca52adebab875c66ff1843adcbb979400532f
Author: David Hendricks 
Date:   Tue Mar 26 17:45:39 2013 -0700

armv7: pass incremented value to dccimvac

This passes the correct value into dccimvac.

Change-Id: I6098440ea48a9b6429380d5913fce6d36e3afb41
    Signed-off-by: David Hendricks 
    Reviewed-on: http://review.coreboot.org/2926
    Reviewed-by: Gabe Black 
    Tested-by: build bot (Jenkins)

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

-gerrit