Update gdb config for latest version of ARM compiler.
Merge branch 'next' into v4.0