To select a kernel, you need to press F5 and select
the kernel with which to boot and install.