more changes to build kitkat
Update Release Tools to include SELINUX options in KitKat