snowball: fixing cache management before starting kernel

Signed-off-by: Mathieu Poirier <mathieu.poirier@linaro.org>
diff --git a/arch/arm/cpu/armv7/cpu.c b/arch/arm/cpu/armv7/cpu.c
index 76d6448..4caf8ea 100644
--- a/arch/arm/cpu/armv7/cpu.c
+++ b/arch/arm/cpu/armv7/cpu.c
@@ -81,12 +81,10 @@
 	 */
 	invalidate_dcache_all();
 #ifdef CONFIG_U8500
-	/* Clean l2 */
-	*((volatile unsigned int *)(0xA04127BC)) = 0xFF;
-	while (*((volatile unsigned int *)(0xA04127BC)) & 0xFF);
-	/* Invalidate l2 */
-	*((volatile unsigned int *)(0xA041277C)) = 0xFF;
-	while (*((volatile unsigned int *)(0xA041277C)) & 0xFF);
+    *((volatile unsigned int *)(0xA04127CC)) = 0xFF;
+    while (*((volatile unsigned int *)(0xA04127CC)) & 0xFF);
+    *((volatile unsigned int *)(0xA0412900)) = 0xFF;
+    *((volatile unsigned int *)(0xA0412904)) = 0xFF;
 #endif
 	return 0;
 }