Hi Will, On Thu, Oct 31, 2013 at 12:59:02AM +0000, Will Deacon wrote: > Could you pull this please, Joerg? It would be good to have this in next > before the merge window... Just pulled. Sorry for the long delay. Joerg