9189b3
--- ghc-7.8.3/aclocal.m4~	2014-07-10 13:27:16.000000000 +0900
9189b3
+++ ghc-7.8.3/aclocal.m4	2014-11-05 12:19:08.530044128 +0900
9189b3
@@ -408,7 +408,7 @@
9189b3
                 )],
9189b3
                 [changequote(, )dnl
9189b3
                  ARM_ISA=ARMv7
9189b3
-                 ARM_ISA_EXT="[VFPv3,NEON]"
9189b3
+                 ARM_ISA_EXT="[VFPv3D16]"
9189b3
                  changequote([, ])dnl
9189b3
                 ])
9189b3
         ])