Displaying all the available kernels at boot ?

Tue Oct 6 15:11:51 UTC 2015

My computer is not displaying all the available kernels when it boots.

Right now it displays Fedora, Advanced options for Fedora and tboot 1.81.

How do I get it to display a list of kernels ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.fedoraproject.org/pipermail/users/attachments/20151006/4f608031/attachment.html>