added support file for running the xv6 under gdb