Why not give users the choice?
Let users choose. The paranoid can disable hyperthreading entirely; while the rest of us can enjoy faster processors at the cost of an exploit which is virtually impossible to reproduce outside of controlled lab conditions.