Enable DMI module to allow for debugging

While debugging a Zotac ID-80 not having any DMI information at all at your disposal is a drag. Making the DMI module afavilable at least allows me to see whether we need to flash the BIOS etc...
Merge pull request #2214 from dagwieers/kernel-dmi-module

Enable DMI module to allow for debugging