If you have windows only, there is kernel flasher which works directly on the device. It was meant for N770 but it works on N800 too. You need root access on your device to run it. http://fanoush.wz.cz/maemo/#kernelflasher I have just flashed my N800 (got it yesterday :-) with SDHC kernel using this flasher and it worked fine.