sepolicy: fix for user builds

Change-Id: Ib04a05c28568c11064370ee0f98c71f92429ab72