On 07/31/2017 02:21 PM, Sebastian Huber wrote: > On 31/07/17 14:18, Jiri Gaisler wrote: > >> Sorry - previous post had the wrong patch. Here is the correct one. > > Ok, could you please check that it is now all right. > It's perfect - thanks! Jiri.