Update:

> This means the "low cost" T4240RDB will be below 2000 USD.

T4240RDB has been made available:

http://www.freescale.com/webapp/sps/site/prod_summary.jsp?code=T4240RDB
http://www.freescale.com/files/graphic/block_diagram/T4240RDB_BD.jpg
http://www.freescale.com/files/32bit/doc/fact_sheet/T4240RDBFS.pdf
http://www.freescale.com/files/32bit/doc/user_guide/T4240RDBQS.pdf

And indeed it is only 1445 USD.

Interesting info from the fact sheet (page 2):
"This board is also available from Nexcom in production volumes."


Edit: added quote

[ Edited by Andreas_Wolf 01.12.2013 - 15:10 ]