Hi Sorry for the long time to reply
I think I have got to the bottom of this now.
I took out the USB code and the problems started to appear in the network stack. When I looked at the WIMGE bits for the DDR TLB I found that the M bit was set when booted from Flash but not when booted from SPI. The code in our tlb.c was using 0 while set_ddr_tlbs always sets M.
When I added 'M' all the strangeness went away.
This code was adapted from the t2081rdb code which also sets 0 so this may be an issue when SPI or Nand booting on the dev boards?
Regards
Steve