im attempting to install the latest version on red hat 7.1. when i reboot (step 12 of the instructions), the only option is to boot with linux (no option for selinux). what change did i miss?

--
You have received this message because you are subscribed to the selinux list.
If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with
the words "unsubscribe selinux" without quotes as the message.