This uses PLL4_P as the internal Ethernet clock, so ATF or U-Boot must clock PLL4 to 750MHz for this to work.