Hi Milhouse,

Thanks for your detailed instructions. I am interested in flashing the kernel of my N800 for SDHC support but I have been booting my system from the SD card. Is there an easy way to update the kernel on the SD card after flashing the kernel on the device? I hope I don't have re-format the ext2 partition and rebuild the whole SD OS image. Thanks in advance!