diff --git a/config/arch.arm b/config/arch.arm
index 1c2d4c2f15..371306ed1a 100644
--- a/config/arch.arm
+++ b/config/arch.arm
@@ -49,6 +49,10 @@
       ;;
   esac
 
+  if [ "${TARGET_FLOAT}" = "hard" ]; then
+    TARGET_ABI+="hf"
+  fi
+
   TARGET_VARIANT="${TARGET_SUBARCH}${TARGET_CPU_FLAGS}"
   TARGET_GCC_ARCH=${TARGET_SUBARCH/-}
   TARGET_KERNEL_ARCH=${TARGET_KERNEL_ARCH:-arm}