[gdb] patch for x86_64-elf