On Sat, 15 Apr 2017, Marc Zyngier wrote: > > Acked-by: Marc Zyngier <marc.zyngier at arm.com> > > Thomas, any chance you could take this as a fix through the tip tree? It's in Linus tree already :)