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. Best, -- Steve