I may have broken the run-liminix-vm command a bit for MIPS due to necessary changes in how we pass the command line. If CI isn't green for this commit and youre trying the worked examples, I suggest reverting to the commit before this one.
for settings that are common to all mipse[lb] but would not be shared with e.g. aarch64 or x86
