Antonio Borneo - 2018-10-09

This ticket is supposed to be fixed by change http://openocd.zylin.com/4704
Feedback are welcome!