sepolicy: fixup for SlimKat