Symbol: CFG_GET_NUM_NIC_PORTS