Dando18 add command line args for kernel launch configuration (#3)