[PATCH v3 3/4] selinux: remove some useless BUG_ONs