On Thu, Dec 06, 2012 at 10:49:47AM +0000, Steve Capper wrote: > On Wed, Dec 05, 2012 at 06:18:36PM +0000, Will Deacon wrote: > > > > Please can you put this in the patch system? Mainline is broken on SMP EB > > without it. > > > > Will > > Hi Will, > I've just put it into the system now; it has ID 7594/1. Thanks Steve. Will