You could always try the "hard" way and download the kernel on the computer and flash it through the usb-cable and "u" thingy.