Hi Igor,
After setting the IOMUXC_GPR_GPR1 registers bits 13, 14, 17, 18 in U-boot only we are able to note the increase in TX and RX bytes for both the Ethernet interfaces while giving ifconfig command.
We connected our board to the laptop via the Ethernet port by creating a static IP connection between those two. When we try to ping the laptop from the board, we are able to ping from only one Ethernet interface and in another Ethernet interface we are not able to ping. When we checked the packets transferred in the interface in laptop using Wireshark, we found that the laptop is also replying to the ping request coming from the 2nd Ethernet interface but in the board's console there is no ping success prints.
So, please advice us any if configuration change is needed for the 2nd Ethernet interface to work correctly.