anaconda doesn't install kernel-smp