cleanup userspace-rcu and knot formulas