You know what they say about assuming things.
I'm actually more interested in getting Linux running natively than in hacking up Android ROMs, but to do that safely I think I'll need to figure out how to make uboot load a kernel from the "external" SD card. I don't know how far I'll get, so this should be taken up as a call to arms rather than a suggestion that other people should stop their investigations.