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