TinyRCU cleanup