Symbol: IPMI_BMC_RCV_MSG_INTR