diff -r 2d1d51615e0e src/arch/x86/cpuid.cc
--- a/src/arch/x86/cpuid.cc	Tue Nov 03 12:17:58 2015 -0600
+++ b/src/arch/x86/cpuid.cc	Wed Nov 04 15:12:14 2015 +0000
@@ -138,7 +138,8 @@
               case TLB1GBPageInfo:
               case PerformanceInfo:*/
               default:
-                warn("x86 cpuid: unimplemented function %u", funcNum);
+                warn("x86 cpuid family 0x8000: unimplemented function %u",
+                    funcNum);
                 return false;
             }
         } else if(family == 0x0000) {
@@ -157,7 +158,8 @@
                                      0xe7dbfbff, 0x04000209);
                 break;
               default:
-                warn("x86 cpuid: unimplemented function %u", funcNum);
+                warn("x86 cpuid family 0x0000: unimplemented function %u",
+                    funcNum);
                 return false;
             }
         } else {