[PATCH kernel-4.19] selinux: fix NULL dereference in policydb_destroy()