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