Noticed a typo in kernel selection panel. Hardened kernel is not based anymore on grsec patchset but on official kernel configuration options. See : https://wiki.archlinux.org/index.php/security#Kernel_hardening Not a big bug to fix :)