FreeBSD Kernel Debugger CTF Enhancements