[PATCH] IPMI: allow user to override the kernel IPMI daemon enable