Hello,
  Just in case it is useful for someone. There is a boot log.
  The kernel image used is the one already compiled at powerdeveloper site.
Code:
U-Boot 2009.01-1.2.19-lange51 (May 06 2010 - 11:52:45)
CPU:   Freescale i.MX51 family 3.0V at 800 MHz
mx51 pll1: 800MHz
mx51 pll2: 665MHz
mx51 pll3: 216MHz
ipg clock     : 66500000Hz
ipg per clock : 665000000Hz
uart clock    : 66500000Hz
cspi clock    : 54000000Hz
Board: MX51 LANGE51 3.0 [POR]
DRAM:  512 MB
JEDEC ID: 0xbf:0x25:0x4a
Reading SPI NOR flash 0x40000 [0x10000 bytes] -> ram 0x975f06e8
.SUCCESS
*** Warning - bad CRC, using default environment
In:    serial
Out:   serial
Err:   serial
board id: 1.0.1, rev1.3
Boot Source: SPI NOR FLASH BOOT
SD card.
Vendor: Man 28 OEM BE "LEXAR" Date 10/2010
Product: 95977
Revision: 1.0
reading uImage
reading system.conf
** Unable to read "system.conf" from mmc 0:1 **
Boot Cmd: run sd_boot
Hit any key to stop autoboot:  1  0 
## Error: "base_cmd99" not defined
SD card.
Vendor: Man 28 OEM BE "LEXAR" Date 10/2010
Product: 95977
Revision: 1.0
reading uImage
## Booting kernel from Legacy Image at 90007fc0 ...
   Image Name:   Linux-2.6.31.14-efikamx
   Image Type:   ARM Linux Kernel Image (uncompressed)
   Data Size:    2658376 Bytes =  2.5 MB
   Load Address: 90008000
   Entry Point:  90008000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
OK
Starting kernel ...
Uncompressing Linux................................................................................................................................................................. done, booting the kernel.
[    0.000000] Linux version 2.6.31.14-efikamx (neko@excel) (gcc version 4.4.1 (Sourcery G++ Lite 2010q1-202) ) #1 PREEMPT Tue Sep 14 22:23:30 CDT 2010
[    0.000000] CPU: ARMv7 Processor [412fc085] revision 5 (ARMv7), cr=10c53c7f
[    0.000000] CPU: VIPT nonaliasing data cache, VIPT nonaliasing instruction cache
[    0.000000] Machine: Genesi Efika MX (Smarttop)
[    0.000000] Memory policy: ECC disabled, Data cache writeback
[    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 105664
[    0.000000] Kernel command line: noinitrd console=ttymxc0,115200 console=tty1 root=/dev/mmcblk0p2 rw
[    0.000000] PID hash table entries: 2048 (order: 11, 8192 bytes)
[    0.000000] Dentry cache hash table entries: 65536 (order: 6, 262144 bytes)
[    0.000000] Inode-cache hash table entries: 32768 (order: 5, 131072 bytes)
[    0.000000] Memory: 416MB = 416MB total
[    0.000000] Memory: 416700KB available (4556K code, 528K data, 140K init, 0K highmem)
[    0.000000] SLUB: Genslabs=11, HWalign=32, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
[    0.000000] Hierarchical RCU implementation.
[    0.000000] NR_IRQS:368
[    0.000000] MXC IRQ initialized
[    0.000000] MXC_Early serial console at MMIO 0x73fbc000 (options '115200')
[    0.000000] console [ttymxc0] enabled
[    0.000000] Console: colour dummy device 80x30
[    0.000000] console handover: boot [ttymxc0] -> real [tty1]
[    0.000000] Linux version 2.6.31.14-efikamx (neko@excel) (gcc version 4.4.1 (Sourcery G++ Lite 2010q1-202) ) #1 PREEMPT Tue Sep 14 22:23:30 CDT 2010
[    0.000000] CPU: ARMv7 Processor [412fc085] revision 5 (ARMv7), cr=10c53c7f
[    0.000000] CPU: VIPT nonaliasing data cache, VIPT nonaliasing instruction cache
[    0.000000] Machine: Genesi Efika MX (Smarttop)
[    0.000000] Memory policy: ECC disabled, Data cache writeback
[    0.000000] Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 105664
[    0.000000] Kernel command line: noinitrd console=ttymxc0,115200 console=tty1 root=/dev/mmcblk0p2 rw
[    0.000000] PID hash table entries: 2048 (order: 11, 8192 bytes)
[    0.000000] Dentry cache hash table entries: 65536 (order: 6, 262144 bytes)
[    0.000000] Inode-cache hash table entries: 32768 (order: 5, 131072 bytes)
[    0.000000] Memory: 416MB = 416MB total
[    0.000000] Memory: 416700KB available (4556K code, 528K data, 140K init, 0K highmem)
[    0.000000] SLUB: Genslabs=11, HWalign=32, Order=0-3, MinObjects=0, CPUs=1, Nodes=1
[    0.000000] Hierarchical RCU implementation.
[    0.000000] NR_IRQS:368
[    0.000000] MXC IRQ initialized
[    0.000000] MXC_Early serial console at MMIO 0x73fbc000 (options '115200')
[    0.000000] console [ttymxc0] enabled
[    0.000000] Console: colour dummy device 80x30
[    0.000000] console handover: boot [ttymxc0] -> real [tty1]
[    0.000000] Calibrating delay loop... 799.53 BogoMIPS (lpj=3997696)
[    0.000000] Mount-cache hash table entries: 512
[    0.000000] CPU: Testing write buffer coherency: ok
[    0.000000] tmpfs: No value for mount option 'mode'
[    0.000000] devtmpfs: initialized
[    0.000000] regulator: core version 0.5
[    0.000000] NET: Registered protocol family 16
[    0.000000] i.MX IRAM pool: 128 KB@0x9a840000
[    0.000000] IRAM READY
[    0.000000] CPU is i.MX51 Revision 3.0
[    0.000000] MXC GPIO hardware
[    0.000000] Efika MX: IOMUX for Board ID (3 pins)
[    0.000000] Efika MX: IOMUX for General GPIO Stuff (7 pins)
[    0.000000] Efika MX: IOMUX for SPI (6 pins)
[    0.000000] Efika MX: IOMUX for PMIC (1 pins)
[    0.000000] Efika MX: IOMUX for I2C (4 pins)
[    0.000000] Efika MX: IOMUX for USB (29 pins)
[    0.000000] Efika MX: IOMUX for ATA (29 pins)
[    0.000000] Efika MX: Initializing SD card IOMUX (external, mmc0)
[    0.000000] Efika MX: IOMUX for WDOG (1.2) (1 pins)
[    0.000000] Efika MX: IOMUX for LED (3 pins)
[    0.000000] Efika MX: IOMUX for Power Key (1 pins)
[    0.000000] Efika MX: AIPS1_BASE_ADDR = 0x73f00000
[    0.000000] Efika MX: AIPS1_BASE_ADDR_VIRT = 0xf7e00000, io_pg_offst = 0x3df8
[    0.000000] Efika MX: PHYS_OFFSET = 0x90000000
[    0.000000] Efika MX Revision 1.3
[    0.000000] Using SDMA I.API
[    0.000000] MXC DMA API initialized
[    0.000000] bio: create slab <bio-0> at 0
[    0.000000] SCSI subsystem initialized
[    0.000000] CSPI: mxc_spi-0 probed
[    0.000000] usbcore: registered new interface driver usbfs
[    0.000000] usbcore: registered new interface driver hub
[    0.000000] usbcore: registered new device driver usb
[    0.000000] IPU DMFC NORMAL mode: 1(0~1), 5B(4,5), 5F(6,7)
[    0.000000] mc13892 Rev 2.0 FinVer 2 detected
[    0.000000] Initializing regulators for Efika MX
[    0.000000] regulator: SW1: 600 <--> 1375 mV 
[    0.000000] regulator: SW2: 900 <--> 1850 mV 
[    0.000000] regulator: SW3: 1100 <--> 1850 mV 
[    0.000000] regulator: SW4: 1100 <--> 1850 mV 
[    0.000000] regulator: SWBST: 0 mV 
[    0.000000] regulator: VIOHI: 0 mV 
[    0.000000] regulator: VPLL: 1050 <--> 1800 mV 
[    0.000000] regulator: VDIG: 1650 mV 
[    0.000000] regulator: VSD: 1800 <--> 3150 mV 
[    0.000000] regulator: VUSB2: 2400 <--> 2775 mV 
[    0.000000] regulator: VVIDEO: 2775 mV 
[    0.000000] regulator: VAUDIO: 2300 <--> 3000 mV 
[    0.000000] regulator: VCAM: 2500 <--> 3000 mV fast normal 
[    0.000000] regulator: VGEN1: 1200 <--> 3150 mV 
[    0.000000] regulator: VGEN2: 1200 <--> 3150 mV 
[    0.000000] regulator: VGEN3: 1800 <--> 2900 mV 
[    0.000000] regulator: VUSB: 0 mV 
[    0.000000] regulator: GPO1: 0 mV 
[    0.000000] regulator: GPO2: 0 mV 
[    0.000000] regulator: GPO3: 0 mV 
[    0.000000] regulator: GPO4: 0 mV 
[    0.000000] Device spi1.0 probed
[    0.532826] NET: Registered protocol family 2
[    0.533161] IP route cache hash table entries: 4096 (order: 2, 16384 bytes)
[    0.534030] TCP established hash table entries: 16384 (order: 5, 131072 bytes)
[    0.534612] TCP bind hash table entries: 16384 (order: 4, 65536 bytes)
[    0.534908] TCP: Hash tables configured (established 16384 bind 16384)
[    0.534935] TCP reno registered
[    0.535123] NET: Registered protocol family 1
[    0.535938] LPMode driver module loaded
[    0.535971] Static Power Management for Freescale i.MX51
[    0.536266] PM driver module loaded
[    0.536525] sdram autogating driver module loaded
[    0.536835] Bus freq driver module loaded
[    0.536891] mxc_dvfs_core_probe
[    0.537155] DVFS driver module loaded
[    0.537187] i.MXC CPU frequency driver
[    0.537709] DVFS PER driver module loaded
[    0.539812] squashfs: version 4.0 (2009/01/31) Phillip Lougher
[    0.539884] msgmni has been set to 814
[    0.543548] alg: No test for stdrng (krng)
[    0.543902] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 252)
[    0.543947] io scheduler noop registered (default)
[    0.543983] io scheduler cfq registered
[    0.544486] *** sii9022_probe
[    0.546777] SII9022 sink not found ! id=00
[    0.568373] mxcfb_read_edid2 
[    0.568748] read_edid error!
[    0.568946] *** mxc_init_fb vmode= video-mode=1 clock_auto=1
[    0.568971] registering framebuffer for HDMI
[    0.570042] mode_option=800x600-16@60
[    0.570820] mxc_ipu mxc_ipu: Channel already disabled 9
[    0.570831] mxc_ipu mxc_ipu: Channel already uninitialized 9
[    0.570848] mxcfb_di_clock_adjust pixelclk=25000 rate=80000000
[    0.570898] orig: parent=pll3 clk=216000000 this=ipu_di0_clk di_clk=27000000
[    0.571023] adjust: parent=pll3 clk=80000000 this=ipu_di0_clk di_clk=40000000 ret=0 ret=0
[    0.571134] skip sii9022_reinit!
[    0.571164] mxc_ipu mxc_ipu: WARNING: adapt panel end blank lines
[    0.738406] pclk 25000 same to previous one, skipping!
[    0.738416] skip sii9022_reinit!
[    0.738434] mxc_ipu mxc_ipu: WARNING: adapt panel end blank lines
[    0.762860] Console: switching to colour frame buffer device 100x37
[    0.908394] pclk 25000 same to previous one, skipping!
[    0.908401] skip sii9022_reinit!
[    0.908418] mxc_ipu mxc_ipu: WARNING: adapt panel end blank lines
[    0.948396] registering framebuffer for VPU overlay
[    0.950976] mxc_sdc_fb mxc_sdc_fb.2: Unable to allocate framebuffer memory
[    0.953252] mxc_sdc_fb: probe of mxc_sdc_fb.2 failed with error -12
[    0.955486] *** sii9022 lcd_probe
[    0.957694] *** sii9022 lcd_init_fb
[    0.978373] mxcfb_read_edid2 
[    0.980932] read_edid error!
[    0.983296] mxcfb_update_default_var mode_opt=<NULL> vmode=
[    0.985546] mxcfb_di_clock_adjust pixelclk=13468 rate=148500000
[    0.987815] orig: parent=pll3 clk=80000000 this=ipu_di0_clk di_clk=40000000
[    0.990204] adjust: parent=pll3 clk=148500000 this=ipu_di0_clk di_clk=74250000 ret=0 ret=0
[    0.992563] sii9022_reinit 1280x720 13468
[    1.132398] sii9022 1-0039: geometry 1280 720 1280 720 0
[    1.134686] sii9022 1-0039: timings 13468 220 110 20 5 40 5
[    1.136951] sii9022 1-0039: accel 0 sync 23 vmode=0
[    1.139230] sii9022 1-0039: pclk 7425 refresh 6024 total x 1650 y 750
[    1.141528] sii9022 1-0039: vmap idx=6 vcode=4
[    1.144203] hdmi audio mute
[    1.154613] hdmi audio unmute
[    1.298398] pclk 13468 same to previous one, skipping!
[    1.298409] sii9022_reinit 1280x720 13468 same to previous one, skipping
[    1.318404] IPU DMFC DP HIGH RESOLUTION: 1(0,1), 5B(2~5), 5F(6,7)
[    1.335385] sii9022 1-0039: turning on LCD
[    1.614784] Serial: MXC Internal UART driver
[    1.615121] mxcintuart.0: ttymxc0 at MMIO 0x73fbc000 (irq = 31) is a Freescale i.MX
[    1.615335] console [ttymxc0] enabled
[    2.769313] mxcintuart.1: ttymxc1 at MMIO 0x73fc0000 (irq = 32) is a Freescale i.MX
[    2.781877] mxcintuart.2: ttymxc2 at MMIO 0x7000c000 (irq = 33) is a Freescale i.MX
[    2.798260] loop: module loaded
[    2.806393] pata_fsl pata_fsl: rchan=29 wchan=28
[    2.815058] scsi0 : pata_fsl
[    2.822054] ata1: PATA max UDMA/44 irq 70
[    2.831957] ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver
[    2.948393] fsl-ehci fsl-ehci.0: Freescale On-Chip EHCI Host Controller
[    2.959372] fsl-ehci fsl-ehci.0: new USB bus registered, assigned bus number 1
[    2.998406] fsl-ehci fsl-ehci.0: irq 18, io base 0x73f80000
[    3.011248] ata1.00: ATA-8: SanDisk pSSD-P2 8GB, SSD 5.20, max UDMA/133
[    3.021532] ata1.00: 15649200 sectors, multi 0: LBA48 
[    3.030621] fsl-ehci fsl-ehci.0: USB 2.0 started, EHCI 1.00
[    3.040720] usb usb1: configuration #1 chosen from 1 choice
[    3.050852] hub 1-0:1.0: USB hub found
[    3.058179] hub 1-0:1.0: 1 port detected
[    3.074563] ata1.00: configured for UDMA/44
[    3.098712] scsi 0:0:0:0: Direct-Access     ATA      SanDisk pSSD-P2  SSD  PQ: 0 ANSI: 5
[    3.111464] sd 0:0:0:0: [sda] 15649200 512-byte logical blocks: (8.01 GB/7.46 GiB)
[    3.123020] sd 0:0:0:0: [sda] Write Protect is off
[    3.131565] sd 0:0:0:0: [sda] Write cache: enabled, read cache: enabled, doesn't support DPO or FUA
[    3.144906]  sda:
[    3.147987] sd 0:0:0:0: Attached scsi generic sg0 type 0
[    3.161508]  sda1 sda2
[    3.169547] sd 0:0:0:0: [sda] Attached SCSI disk
[    3.278399] fsl-ehci fsl-ehci.1: Freescale On-Chip EHCI Host Controller
[    3.289395] usb 1-1: new high speed USB device using fsl-ehci and address 2
[    3.300535] fsl-ehci fsl-ehci.1: new USB bus registered, assigned bus number 2
[    3.338404] fsl-ehci fsl-ehci.1: irq 14, io base 0x73f80200
[    3.448377] fsl-ehci fsl-ehci.1: USB 2.0 started, EHCI 1.00
[    3.458584] usb usb2: configuration #1 chosen from 1 choice
[    3.468551] hub 2-0:1.0: USB hub found
[    3.476183] hub 2-0:1.0: 1 port detected
[    3.484580] usbcore: registered new interface driver libusual
[    3.495489] mice: PS/2 mouse device common for all mice
[    3.505055] MXC keypad loaded
[    3.512618] mc13892 rtc probe start
[    3.520922] usb 1-1: configuration #1 chosen from 1 choice
[    3.531451] pmic_rtc pmic_rtc.1: rtc core: registered pmic_rtc as rtc0
[    3.541964] mc13892 rtc probe succeed
[    3.550067] i2c /dev entries driver
[    3.558198] Linux video capture interface: v2.00
[    3.568078] MXC Video Output MXC Video Output.0: Registered device video0
[    3.578765] MXC WatchDog Driver 2.0
[    3.586083] clk: Unable to get requested clock: wdog_clk
[    3.595763] MXC Watchdog # 0 Timer: initial timeout 60 sec
[    3.605464] cpuidle: using governor ladder
[    3.613345] cpuidle: using governor menu
[    3.621599] PMIC Character device: successfully loaded
[    3.631326] VPU initialized
[    3.638190] mxsdhci: MXC Secure Digital Host Controller Interface driver
[    3.648697] mxsdhci: MXC SDHCI Controller Driver. 
[    3.657452] mmc0: SDHCI detect irq 128 irq 1 INTERNAL DMA
[    3.667073] Registered led device: efikamx:green
[    3.675460] Registered led device: efikamx:red
[    3.693820] Registered led device: efikamx:blue
[    3.706352] usbcore: registered new interface driver usbhid
[    3.715622] usbhid: v2.6:USB HID core driver
[    3.734753] Advanced Linux Sound Architecture Driver Version 1.0.20.
[    3.793505] sgtl5000-i2c 1-000a: SGTL5000 revision 17
[    3.808411] usb 2-1: new high speed USB device using fsl-ehci and address 2
[    3.866281] mmc0: new high speed SDHC card at address b368
[    3.875810] mmcblk0: mmc0:b368 LEXAR 3.73 GiB 
[    3.884201]  mmcblk0: p1 p2
[    3.900103] No device for DAI imx-ssi-1-0
[    3.907526] No device for DAI imx-ssi-1-1
[    3.914982] No device for DAI imx-ssi-2-0
[    3.922336] No device for DAI imx-ssi-2-1
[    3.930551] DMA Sound Buffers Allocated:UseIram=1 buf->addr=1fff6000 buf->area=9a856000 size=24576
[    3.943192] DMA Sound Buffers Allocated:UseIram=1 buf->addr=a8318000 buf->area=f9e30000 size=24576
[    3.955495] asoc: SGTL5000 <-> imx-ssi-2-0 mapping ok
[    3.989988] usb 2-1: configuration #1 chosen from 1 choice
[    3.999556] hub 2-1:1.0: USB hub found
[    4.006717] hub 2-1:1.0: 4 ports detected
[    4.026124] ALSA device list:
[    4.032626]   #0: imx-3stack (SGTL5000)
[    4.040548] TCP cubic registered
[    4.047047] NET: Registered protocol family 17
[    4.054779] ThumbEE CPU extension supported.
[    4.062331] VFP support v0.3: implementor 41 architecture 3 part 30 variant c rev 2
[    4.075112] regulator_init_complete: incomplete constraints, leaving GPO4 on
[    4.085796] regulator_init_complete: incomplete constraints, leaving GPO3 on
[    4.096138] regulator_init_complete: incomplete constraints, leaving GPO2 on
[    4.106384] regulator_init_complete: incomplete constraints, leaving GPO1 on
[    4.116553] regulator_init_complete: incomplete constraints, leaving VGEN3 on
[    4.126646] regulator_init_complete: incomplete constraints, leaving VGEN2 on
[    4.136811] regulator_init_complete: incomplete constraints, leaving VGEN1 on
[    4.146886] regulator_init_complete: incomplete constraints, leaving VCAM on
[    4.156818] regulator_init_complete: incomplete constraints, leaving VAUDIO on
[    4.166893] regulator_init_complete: incomplete constraints, leaving VSD on
[    4.176537] regulator_init_complete: incomplete constraints, leaving SWBST on
[    4.186916] pmic_rtc pmic_rtc.1: setting system clock to 1970-01-01 06:41:57 UTC (24117)
[    4.199709] EXT3-fs: mmcblk0p2: couldn't mount because of unsupported optional features (240).
[    4.212054] EXT2-fs: mmcblk0p2: couldn't mount because of unsupported optional features (240).
[    4.244032] EXT4-fs (mmcblk0p2): barriers enabled
[    4.252663] kjournald2 starting: pid 1027, dev mmcblk0p2:8, commit interval 5 seconds
[    4.269148] EXT4-fs (mmcblk0p2): internal journal on mmcblk0p2:8
[    4.278095] EXT4-fs (mmcblk0p2): delayed allocation enabled
[    4.286467] EXT4-fs: file extents enabled
[    4.294480] EXT4-fs: mballoc enabled
[    4.301026] EXT4-fs (mmcblk0p2): mounted filesystem with ordered data mode
[    4.310967] VFS: Mounted root (ext4 filesystem) on device 179:2.
[    4.321338] devtmpfs: mounted
[    4.327640] Freeing init memory: 140K
[    4.408696] usb 2-1.1: new high speed USB device using fsl-ehci and address 3
[    4.548136] usb 2-1.1: configuration #1 chosen from 1 choice
Debian GNU/Linux squeeze/sid (none) ttymxc0
(none) login: root
Password: 
Last login: Thu Jan  1 07:00:35 BST 1970 on ttymxc0
Linux (none) 2.6.31.14-efikamx #1 PREEMPT Tue Sep 14 22:23:30 CDT 2010 armv7l
The programs included with the Debian GNU/Linux system are free software;
the exact distribution terms for each program are described in the
individual files in /usr/share/doc/*/copyright.
Debian GNU/Linux comes with ABSOLUTELY NO WARRANTY, to the extent
permitted by applicable law.
root@(none):~# dpkg --print-architecture
armhf
root@(none):~# dpkg-architecture 
sh: gcc: not found
dpkg-architecture: warning: Couldn't determine gcc system type, falling back to default (native compilation)
DEB_BUILD_ARCH=armhf
DEB_BUILD_ARCH_OS=linux
DEB_BUILD_ARCH_CPU=arm
DEB_BUILD_ARCH_BITS=32
DEB_BUILD_ARCH_ENDIAN=little
DEB_BUILD_GNU_CPU=arm
DEB_BUILD_GNU_SYSTEM=hardfloat-linux-gnueabi
DEB_BUILD_GNU_TYPE=arm-hardfloat-linux-gnueabi
DEB_HOST_ARCH=armhf
DEB_HOST_ARCH_OS=linux
DEB_HOST_ARCH_CPU=arm
DEB_HOST_ARCH_BITS=32
DEB_HOST_ARCH_ENDIAN=little
DEB_HOST_GNU_CPU=arm
DEB_HOST_GNU_SYSTEM=hardfloat-linux-gnueabi
DEB_HOST_GNU_TYPE=arm-hardfloat-linux-gnueabi
root@(none):~#