Use the correct way to set the kernel type