/* * ipmi_sendcmd: caller must hold sc_cmd_mtx. * * Send an IPMI command */