On Wed, Apr 26, 2017 at 11:01:50AM +0100, Will Deacon wrote:> Joerg: sorry, this is another one for you to pick up if possible.Applied.