Unable to boot kernel

Hi there,

I just got the board and I followed the instructions for building a kernel image

but the board hangs at Starting kernel... see below.

NAND read: device 0 offset 0xc800000, size 0x800
 2048 bytes read: OK
Current firmware update flag is 0xffffffff
Hit any key to stop autoboot:  0

Loading from NAND 256MiB 3,3V 8-bit, offset 0x400000
   Image Name:   "RR Linux Kernel"
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    4256128 Bytes =  4.1 MB
   Load Address: 80008000
   Entry Point:  80008000
Automatic boot of image at addr 0x82000000 ...
## Booting kernel from Legacy Image at 82000000 ...
   Image Name:   "RR Linux Kernel"
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    4256128 Bytes =  4.1 MB
   Load Address: 80008000
   Entry Point:  80008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK

Starting kernel ...

Any idea what this could be?