No, it doesn't. Yes! However, if you're using grub as your bootloader you will have to execute Code: sudo grub-mkconfig -o /boot/grub/grub.cfg before rebooting in order to add the new kernel. (I don't know how it works with syslinux as I'm not familiar with it.) Note that you will probably want to install the paxd and gradm packages in order to enable PaX amd RBAC.