[U-Boot] help with archos g9 "port"

[SxDx]

> From: "SxDx" <sed at free.fr>
> Dear U-Boot hackers,
> 
> I am trying to let U-Boot work with my archos g9
> (omap4430 based-tablet).

Just for the record. Applying the patch found at:
http://forum.xda-developers.com/showpost.php?p=30011253
against the linaro tree lets me load a linux kernel uImage
and run it (I stopped tracing things after the decompression
of the kernel, but things seem fine so far).
Issue solved (for u-boot; now I'll see what's going on
in the kernel...).