On Wednesday 24 September 2014, Tony Prisk wrote: > > Tony, would you like to pick this one up and send it in a pull request > > to arm-soc, or should we apply it to fixes-non-critical directly? > > > > Arnd > Arnd, > > You can apply it directly to fixes-non-critical if that's ok. Applied, thanks! Arnd