We're using EDK 10.1.3 and custom virtex2pro board (very close to virtex405-ml405). Kernel is from xilinx git tree as well as device-tree generator.
Following patch to kernel (+1 line) allows kernel to correctly detect emaclite hardware. New EDK version creates xps_ethernetlite version 2.00b by default so kernel detection fails without patch. CONFIG_OF must be enabled from kernel config. Hardware does not seem to have any significant changes between 2.00a and b versions and ethernet seems to work fine.
John, could You please include patch to git-tree, thanks.