changing over for use with optional prebuilt kernel (for JB)
or use with my nabi xd kernel (for kk44 --add support for SElinux)