We now only install the smp kernel if smp is available or ht is enabled (as opposed to ht being present)
Appears to work correctly based on the sketchy feedback we've gotten (hardware not really available for testing).