#010: EFI Grub cmdline


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