CONFIG_IPMI_HANDLER is still y in3.13.0-20, so this is still broken. This is the workaround I'm using at the moment:
# diff /etc/init.d/openipmi.orig /etc/init.d/openipmi 324,326c324,326 < modprobe ipmi_msghandler > /dev/null 2>&1 < modules_loaded ipmi_msghandler < [ ${OnePlusLoaded} -ne 1 ] && unload_all_ipmi_modules && RETVAL=$((RETVAL | 1)) && return --- > # modprobe ipmi_msghandler > /dev/null 2>&1 > # modules_loaded ipmi_msghandler > # [ ${OnePlusLoaded} -ne 1 ] && unload_all_ipmi_modules && RETVAL=$((RETVAL | 1)) && return
CONFIG_IPMI_HANDLER is still y in3.13.0-20, so this is still broken. This is the workaround I'm using at the moment:
# diff /etc/init. d/openipmi. orig /etc/init. d/openipmi all_ipmi_ modules && RETVAL=$((RETVAL | 1)) && return all_ipmi_ modules && RETVAL=$((RETVAL | 1)) && return
324,326c324,326
< modprobe ipmi_msghandler > /dev/null 2>&1
< modules_loaded ipmi_msghandler
< [ ${OnePlusLoaded} -ne 1 ] && unload_
---
> # modprobe ipmi_msghandler > /dev/null 2>&1
> # modules_loaded ipmi_msghandler
> # [ ${OnePlusLoaded} -ne 1 ] && unload_