I've just read through the installation guide and it doesn't give any instructions for flashing to a different kernel. However in the FAQ it says you have to use a different kernel.

I'm a bit confused. I hope someone can help me with this.