Let the user specify additional parameters to the Linux kernel.