no selinux, don't use kernel sources if using prebuilt kernel