am d0d0b52d: Merge "Remove an obsolete ARM gdb hack."

* commit 'd0d0b52da375bfa85947a4257198791f615f18a8':
  Remove an obsolete ARM gdb hack.