vxlan: Use sk_release_kernel() instead of sock_release().