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