Fix 'ddd' command-line parameters for kernel debug.
PR: docs/127253 Submitted by: Fritz Katz <frtzkatz@yahoo.com>