Fix kfbsd debugger build