drivers/char/ipmi/ipmi_si_intf.c: fix cleanup_one_si section mismatch