0805141417 - Mergebot : Merge manual pull request from upstream source for external_sepolicy with the following commits: