SELinux: Fix possible NULL pointer dereference in selinux_inode_permission()