[Bug 1059820] OpenIPMI: ipmi_devinft not loaded although IPMI device present