Comment 14 for bug 413656

Kees Cook (kees) wrote :

You need to reboot for the kernel to be reloaded. As for config, see /boot/config-$(uname -r)