http://intr.overt.org/n800-sdhc-kernel/

Hope that's what you're looking for. Works great for me, though I did flash the .bin using flasher in Linux.