--- old/src/os/linux/vm/os_linux.cpp	2015-06-11 11:24:04.479364877 -0400
+++ new/src/os/linux/vm/os_linux.cpp	2015-06-11 11:24:04.135197560 -0400
@@ -2216,11 +2216,29 @@
 }
 
 void os::pd_print_cpu_info(outputStream* st) {
+#if defined(IA32) || defined(AMD64)
+  // Only print the model name if the platform provides this as a summary
   st->print("\n/proc/cpuinfo:\n");
-  if (!_print_ascii_file("/proc/cpuinfo", st)) {
-    st->print("  <Not Available>");
+  FILE *fp = fopen("/proc/cpuinfo", "r");
+  if (fp) {
+    while (!feof(fp)) {
+      char buf[256];
+      if (fgets(buf, sizeof(buf), fp)) {
+        if (strstr(buf, "model name") != NULL) {
+          st->print_raw(buf);
+          break;
+        }
+      }
+    }
+  } else {
+    st->print_cr("  <Not Available>");
   }
-  st->cr();
+#else
+    // Other platforms have reasonable cpuinfo files
+    if (!_print_ascii_file("/proc/cpuinfo", st)) {
+      st->print_cr("  <Not Available>");
+    }
+#endif
 }
 
 void os::print_siginfo(outputStream* st, void* siginfo) {