Add support for Freescale's i.MX31 PDK board (a.k.a. 3 stack board).

This patch assumes that some other program performs the actual
NAND boot.
Signed-off-by: NMagnus Lilja <lilja.magnus@gmail.com>
Acked-by: NFabio Estevam <fabioestevam@yahoo.com>
Signed-off-by: NJean-Christophe PLAGNIOL-VILLARD <plagnioj@jcrosoft.com>