[PATCH] drivers/char/ipmi/ipmi_msghandler.c: fix a memory leak