Add microarch details to 'show cpu'.

Change-Id: I31a3ff9e8f70468196c091027592a3aed2d09ac3
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
diff --git a/src/vppinfra/cpu.c b/src/vppinfra/cpu.c
index ef08dc7..1b3ac31 100644
--- a/src/vppinfra/cpu.c
+++ b/src/vppinfra/cpu.c
@@ -74,15 +74,17 @@
 {
 #if __x86_64__
   u32 __attribute__ ((unused)) eax, ebx, ecx, edx;
-  u8 model, family;
+  u8 model, family, stepping;
 
   if (__get_cpuid (1, &eax, &ebx, &ecx, &edx) == 0)
     return format (s, "unknown (missing cpuid)");
 
   model = ((eax >> 4) & 0x0f) | ((eax >> 12) & 0xf0);
   family = (eax >> 8) & 0x0f;
+  stepping = eax & 0x0f;
 
-#define _(f,m,a,c) if ((model == m) && (family == f)) return format(s, "%s (%s)", a, c);
+#define _(f,m,a,c) if ((model == m) && (family == f)) return \
+format(s, "[0x%x] %s ([0x%02x] %s) stepping 0x%x", f, a, m, c, stepping);
   foreach_x86_cpu_uarch
 #undef _
     return format (s, "unknown (family 0x%02x model 0x%02x)", family, model);