How to reproduce:

Boot in BIOS live mode. Check /proc/cmdline

What to expect:

It should end with "--" and have nothing after that.

Notes: