That will let you select the kernel, and once in the OS add/delete kernels other than the one your booting into. If you would like to see the grub menu all the time without tapping keys follow this post.
1 Like