what is the correct parameter to pass to the kernel at boot time