The text 4051b8e492f6, as Debian 6.0 (Squeeze) shipped it.
wait until an rcu_bh grace period has elapsed.
synchronize_rcu_bh(9) on Linux now
