1 files changed, 7 insertions, 4 deletions

diff --git a/arch/x86/kernel/process.c b/arch/x86/kernel/process.c
index 90cf1250a005..7a7bd4e3ec49 100644
--- a/arch/x86/kernel/process.c
+++ b/arch/x86/kernel/process.c
@@ -94,18 +94,21 @@ void exit_thread(void)
 
 void show_regs_common(void)
 {
-        const char *board;
+        const char *board, *product;
 
-        board = dmi_get_system_info(DMI_PRODUCT_NAME);
+        board = dmi_get_system_info(DMI_BOARD_NAME);
         if (!board)
                 board = "";
+        product = dmi_get_system_info(DMI_PRODUCT_NAME);
+        if (!product)
+                product = "";
 
         printk("\n");
-        printk(KERN_INFO "Pid: %d, comm: %.20s %s %s %.*s %s\n",
+        printk(KERN_INFO "Pid: %d, comm: %.20s %s %s %.*s %s/%s\n",
                 current->pid, current->comm, print_tainted(),
                 init_utsname()->release,
                 (int)strcspn(init_utsname()->version, " "),
-                init_utsname()->version, board);
+                init_utsname()->version, board, product);
 }
 
 void flush_thread(void)