ARM: Support hardfloat in SCons build and make it a build time setting

tools/test.py

Index: tools/test.py
diff --git a/tools/test.py b/tools/test.py
index fb0939170605edbacdfba8735239bf1e2a8282c2..c1840bb428803f36ee3727da4b325d0bb487c5bc 100755
--- a/tools/test.py
+++ b/tools/test.py
@@ -1229,8 +1229,6 @@ def BuildOptions():
                     default=1, type="int")
   result.add_option("--noprof", help="Disable profiling support",
                     default=False)
-  result.add_option("--hardfloat", help="use hardware floating point ABI",
-                    default=False, action="store_true")
   return result
 
 
@@ -1273,11 +1271,6 @@ def ProcessOptions(options):
   if options.noprof:
     options.scons_flags.append("prof=off")
     options.scons_flags.append("profilingsupport=off")
-  if options.hardfloat:
-    if options.special_command:
-      options.special_command += " --hardfloat"
-    else:
-      options.special_command = "@--hardfloat"
   return True