Hi Pierre,I will make that change locally before pushing. Otherwise this patch looks good to me.Reviewed-by: Sami Mujawar <sami.mujawar@arm.com>Regards,Sami Mujawar