Symbol: efx_ef10_evb_port_assign