Merge branch 'stable-3.2' into pandora-3.2
[pandora-kernel.git] / arch / arm / boot / compressed / head.S
index a35bbd8..db712ad 100644 (file)
@@ -10,6 +10,7 @@
  */
 #include <linux/linkage.h>
 
+       .arch   armv7-a
 /*
  * Debugging stuff
  *