SELinux works now .. latest kernel works too