Hey! This year's GSoC is coming to an end, and it's great time for a quick update on the situation:
Using my modified packages, you can install Debian, configure u-boot, and have a bootable and usable system. You can even use the graphical installer to do that! However, you can't really use the provided kernel for a smartphone use: no GPS, no GSM, no audio, no bluetooth... only SD and screen. Of course, I'll be working on upstreaming the missing parts in mainline kernel, but it'll probably take some time, and any help is welcome!
Since almost nothing has been upstreamed yet, installing Debian is still a bit tricky, with the missing debs (you have to make a repository to store them). But hopefully, this will be sorted out shortly after the GSoC.
Anyway, here are instructions to try out my work!