On Tue, Oct 24, 2017 at 05:40:45PM +0200, Ingo Molnar wrote: > > * Will Deacon <will.deacon at arm.com> wrote: > > > Ingo, Peter, > > > > Would you be willing to merge this via -tip, please? I'm happy to > > rebase/repost as required, but the code is in good shape now. > > Sure, will do it tomorrow! Yeah, ACK on this.