use prebuilt kernel with selinux enabled