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