x86: print DMI information in the oops trace
authorArjan van de Ven <arjan@linux.intel.com>
Tue, 16 Sep 2008 18:27:30 +0000 (11:27 -0700)
committerIngo Molnar <mingo@elte.hu>
Wed, 17 Sep 2008 09:53:03 +0000 (11:53 +0200)
in order to diagnose hard system specific issues, it's useful to
have the system name in the oops (as provided by DMI)

Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found