#010: BIOS Isolinux cmdline


How to reproduce:
Boot in BIOS live mode. Check /proc/cmdline
What to expect:
It should end with "--" and have nothing after that.
Notes: