[ARM] 4715/2: Ethernet support for IXDP425 boards