Here you can select the kernel to boot.
See also
Choose the kernel from the list and click EXCUTE, the system will reboot.