Add some parameters to the usage of mainline-kernels.sh