Hmm, would you please be kind enough to point me to a good tutorial on how to flash the kernel correctly?