use prebuilt kernel with SElinux enable