[PATCH 4.19 177/206] selinux: fix double free