This patch allows gdb to debug a 64 bit kernel running on the mips64 target. signed-off-by: Jason Wessel Jason.