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 ce45babdf042265b5448bcd345ae9cb35c85810b..fd0ce9243c561bf6bce82a0bc4295ed8d527d9d2 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;
   }