OpenBSD removed their implementation of the GDBStub citing that it was broken for years as a reason. but as a counter-example: NetBSD has KGDB working on amd64(x86_64). Therefore i propose importing the implementation from NetBSD and fixing all bugs to make it a reliable facility for kernel debugging over serial again