On 25 February 2014 16:45, Jiong Wang <jiong.wang@arm.com> wrote: > Hi Andreas, > > Thanks for pointing this out. > > Updated the patch. > > Regards, > Jiong Hi, This looks OK to me, go ahead and commit. /Marcus