Fix GDB for ARM