Symbol: IPMI_IPMB_NUM_SEQ