Re: [PATCH v3 2/4] selinux: replace some BUG_ON()s with a WARN_ON()