Getting rid of current_gdbarch and current_regcache in xtensa-tdep.c
Patch provided by Markus was updated according to suggestion from Ulrich.