PROBLEM: (91995) (PATCH ID: OSF445-440) ******** Correction for remote debugging with dbx -remote with option KDEBUG built into kernel so that remote debugging of a system kernel is now possible.