Symbol: CVMX_BOARD_TYPE_NIC_XLE_10G