Symbol: CVMX_BOARD_TYPE_NIC4E