To boot a different kernel, press F8 before boot, this enters the boot loader shell, enter the following to go on:
/your_kernel_file
you may also add other kernel options (as like ‘-v’) after it.

To boot a different kernel, press F8 before boot, this enters the boot loader shell, enter the following to go on:
/your_kernel_file
you may also add other kernel options (as like ‘-v’) after it.