How to recompile with different kernel? I followed the instructions but get a kernel error when booting.