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 645b83377bb62e79dc4eb0ef0a723d94d2889137..a79922fb0ed20f61b415e7cd0d6e8db5323093fe 100644
--- a/src/platform-linux.cc
+++ b/src/platform-linux.cc
@@ -156,10 +156,17 @@ bool OS::ArmCpuHasFeature(CpuFeature feature) {
     case SUDIV:
       search_string = "idiva";
       break;
+    case VFP32DREGS:
+      // This case is handled specially below.
+      break;
     default:
       UNREACHABLE();
   }
 
+  if (feature == VFP32DREGS) {
+    return ArmCpuHasFeature(VFP3) && !CPUInfoContainsString("d16");
+  }
+
   if (CPUInfoContainsString(search_string)) {
     return true;
   }