tree df88167e788abaf2beeb81699fca5634e3c62374
parent e9197bf0114661195bee35e7795cfc42164d9b2c
author Paul Jackson <pj@sgi.com> 1210778116 -0700
committer Thomas Gleixner <tglx@linutronix.de> 1211705711 +0200

x86 boot: add header comment to dmi.h stating what it is

The "dmi.h" file did not state anywhere in the file what "DMI" was.
For those who know, it's obvious.  For the rest of us, I added a
brief opening comment.

Signed-off-by: Paul Jackson <pj@sgi.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>