Symbol: KBDC_AUX_MUX_NUM_PORTS