A quick update on the MK802.
I've succeeded in getting it to boot a kernel I've compiled, which means I can add Bluetooth support, among other things, and you saw in my earlier post that I'd enabled 1920x1080p resolution via modifying evb.bin. Another user, Suzuke, was able to extend the memory to use closer to the full 1GB.
Unfortunately, this was only on the 3.0.8+ "lichee" kernel, not the latest branch of Amery's linux-allwinner. But it's a step closer.
We still really need to get onto the latest Linux kernels to fix some bugs, and get the Mali GPU working, hopefully.
In the meantime, my modified kernel is here, along with the config used to build it:
(Also mirrored by Eric Betts at https://dl.dropbox.com/u/156593/mk802-kernel-184.108.40.206z )
The modified evb.bin: http://uploading.com/files/2m184d14/evb.bin/
Suzuke's modified uboot for more memory: http://uploading.com/files/2md8d968/u-boot.zip/