Merge "deb: misc SELinux changes."