On Wed, May 04, 2016 at 05:08:48PM +0200, Peter Zijlstra wrote: > On Wed, May 04, 2016 at 02:44:20PM +0100, Mark Rutland wrote: > > > Ok, how about the below? (based on next-20160422). > > > > Peter, any thoughts? > > > > Right, I have it queued, should hopefully hit tip tomorrow someplace.