Hardening: checking SELinux