Merge branch 'dev': support of the imminent GsDevKit release