[PATCH] ipmi: fix compile errors with PROC_FS=n