Add support for not loading the kernel with semanage

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

This patch looks good to me. acked.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk/I+oAACgkQrlYvE4MpobOijQCg4jKn3ITpT3NcviRxIalCYzq7 BpUAnRN6pb061lbNGr33rt6ikLEddSaW
=+qkr
-----END PGP SIGNATURE-----