Upgrade to 4.4.50-rt62
[kvmfornfv.git] / kernel / arch / arm / mach-socfpga / headsmp.S
index 5d94b7a..c160fa3 100644 (file)
@@ -13,6 +13,7 @@
 #include <asm/assembler.h>
 
        .arch   armv7-a
+       .arm
 
 ENTRY(secondary_trampoline)
        /* CPU1 will always fetch from 0x0 when it is brought out of reset.