[PATCH] ipmi: use CONFIG_DMI instead of CONFIG_X86