[U-Boot] imx: Kernel not booting with fdt

["Matthias Weißer" <weisserm@arcor.de>]

Hi

I try to boot a current 3.11 kernel on a custom iMX25 board using DT. 
u-boot starts the kernel but it stops working just after the first 
eralyprintk lines are out. The u-boot/kernel output:

bootm 0x81000000 - 0x80800000
## Booting kernel from Legacy Image at 81000000 ...
    Image Name:   Linux-3.10.0
    Image Type:   ARM Linux Kernel Image (uncompressed)
    Data Size:    3834336 Bytes = 3.7 MiB
    Load Address: 80008000
    Entry Point:  80008000
    Verifying Checksum ... OK
## Flattened Device Tree blob at 80800000
    Booting using the fdt blob at 0x80800000
    Loading Kernel Image ... OK
OK
    Loading Device Tree to 8374f000, end 837545d4 ... OK

Starting kernel ...

Uncompressing Linux... done, booting the kernel.
[    0.000000] Booting Linux on physical CPU 0x0
[    0.000000] Initializing cgroup subsys cpuset
[    0.000000] Initializing cgroup subsys cpu
[    0.000000] Initializing cgroup subsys cpuacct
[    0.000000] Linux version 3.10.0 (mweisser at ubuntu) (gcc version 4.7.3 
(Ubuntu/Linaro 4.7.3-1ubuntu1) ) #4 Tue Jul 2 1
7:13:13 CEST 2013
[    0.000000] CPU: ARM926EJ-S [41069264] revision 4 (ARMv5TEJ), cr=00053177
[    0.000000] CPU: VIVT data cache, VIVT instruction cache
[    0.000000] Machine: Generic DT based system, model: Graf-Syteco zmx25
[    0.000000] bootconsole [earlycon0] enabled
[    0.000000] Memory policy: ECC disabled, Data cache writeback

As this is my first contact with DT I expect a trivial error on my side. 
Anyone with any hint?

Regards
Matthias