diff --git a/config/arch.arm b/config/arch.arm
index 0412da85aa..cfe9e38c49 100644
--- a/config/arch.arm
+++ b/config/arch.arm
@@ -31,7 +31,7 @@
       TARGET_FPU_FLAGS="-mfloat-abi=$TARGET_FLOAT -mfpu=$TARGET_FPU"
       SIMD_SUPPORT="no"
       ;;
-    cortex-a7|cortex-a15|cortex-a15.cortex-a7|cortex-a17.cortex-a7)
+    cortex-a7|cortex-a15|cortex-a17|cortex-a15.cortex-a7|cortex-a17.cortex-a7)
       TARGET_SUBARCH=armv7ve
       TARGET_ABI=eabi
       TARGET_EXTRA_FLAGS="-mcpu=$TARGET_CPU"