fix a bug in the Linux cmdline handling code.
2 files changed