ARM: Make use of d16-d31 when available.

src/platform-linux.cc

Index: src/platform-linux.cc
diff --git a/src/platform-linux.cc b/src/platform-linux.cc
index 8022ba2d5af110ab24f155872736ed3d9a6b5f9d..65c72e620d0cd99894601c15227d74ab640652e2 100644
--- a/src/platform-linux.cc
+++ b/src/platform-linux.cc
@@ -151,10 +151,17 @@ bool OS::ArmCpuHasFeature(CpuFeature feature) {
     case SUDIV:
       search_string = "idiva";
       break;
+    case VFP32DREGS:
+      search_string = "vfpv3";
+      break;
     default:
       UNREACHABLE();
   }
 
+  if (feature == VFP32DREGS) {
+    return CPUInfoContainsString("vfpv3") && !CPUInfoContainsString("d16");
+  }
+
   if (CPUInfoContainsString(search_string)) {
     return true;
   }