On 14 October 2013 14:57, <Liviu.Dudau@arm.com> wrote:
 
I'll leave it in your capable hands to decide which path you take.

If you need it for your patch:

Thanks - I'll go with my patch if only because I already have it in git and it's less effort to just push it out.