GDB debugging on ARM