Hi everyone,
I just "discovered" that this device (based on STi7105 chipset, such as Infomir MAG250) uses STLinux and full-sources are available here: Vodafone TV
Dunno if someone is interested in porting LE to it, anyway it would be an occasion for ST-based devices.
Here's some other resources I found:
Hope that inspires !