[GDB] Add copyright header for gdbmach.c