kernel config: SELinux enabled