[Linaro-mm-sig] Re: [PATCH 2/4] rust: rcu: add RcuBox type