[PATCH] drivers/char/ipmi/ipmi_msghandler.c: make proc_ipmi_root static