[RFC PATCH v2 16/20] rcu: Make RCU dynticks counter size configurable