0x3A28213A, 0x6339392C, 0x7363682E...

But in all seriousness, getting Debian/X on this probably wouldn't be that hard after dmitry's work, probably just getting a basic working framebuffer driver, packing a modified Debian ramdisk and the kernel blob in an aboot image, and having the ramdisk bootstrap the rootfs on the NAND, start X with fbdev, and load MicroWM or something. That was basically what I did a while back trying to get Angstrom on a Chinese camera that ran Android and it worked okay...

It already has a linux kernel with WiFi support. Android build tools will happily package your ramdisk together with the kernel into an android boot image. The "system" image you provide to the unbricking tool will be written unmodified unto the system partition.

That is to say that the work is all done for you. Enjoy :)

If you do get this running (or even get started) I'd be interested - I've had a project for a long time to get Debian running on the Nexus 4.