os301 had pretty-boot disabled to help diagnose #9100 os302 doesn't do that any more. Is there a simple edit/whatever I can do to disable pretty-boot? -- These are my opinions, not necessarily my employer's. I hate spam.