Has anyone gotten the Trinity M4 release working with the Freescale i.MX31 BSP? 

With procnto-v6 it complained about the ARM_CPU_FLAG_V6 and ARM_CPU_FLAG_V6_ASID flags not being set and aborted.

I added code to arm1136_extra_init() to set those flags (after the vfp unit is disabled in CP15) and now it starts 
booting and hangs. The i.MX31 JTAG debugger on order hasn't arrived yet so I'm sort of stuck. Below is the boot console 
output before it hangs. Any info appreciated.

-------------------- snip ----------------------
load entry_address=0x100000
virt_addr=0x10 Dcache: 512x32 WB
Icache: 512x32
arm1136 rev 4 532 MHz

System page at phys:80013000 user:fc404000 kern:fc404000
Starting next program at vfe03a9b8

[it hangs here]