diff --git a/config/arch.arm b/config/arch.arm
index cfe9e38c49..42d66b3832 100644
--- a/config/arch.arm
+++ b/config/arch.arm
@@ -45,7 +45,7 @@
       TARGET_FPU_FLAGS="-mfloat-abi=$TARGET_FLOAT -mfpu=$TARGET_FPU"
       SIMD_SUPPORT="yes"
       ;;
-    cortex-a53)
+    cortex-a53|cortex-a72.cortex-a53)
       TARGET_SUBARCH=armv8-a
       TARGET_ABI=eabi
       TARGET_EXTRA_FLAGS="-mcpu=${TARGET_CPU}"