diff --git a/gcc/config.gcc b/gcc/config.gcc
index 89867524024..c49dd7b181b 100644
--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -278,7 +278,6 @@ alpha*-*-*)
 	;;
 arm*-*-* | strongarm*-*-* | ep9312*-*-* | xscale-*-*)
 	cpu_type=arm
-	extra_headers="mmintrin.h"
 	;;
 i[34567]86-*-*)
 	cpu_type=i386