install: in kernel cmdline, use splash instead of verbose