The latest DS-5 eval indeed supports bare metal development on an i.MX51. However, in order to do this you need a DSTREAM (www.arm.com/dstream) or RVI (www.arm.com/rvi) target connection unit.