Set default kernels (independently of what packages are installed).