marvel: add another argument to cmdline

Just to be sure...