What is the correct parameter to pass to the kernel at boot time to force it to use only one of the available processors?