Pretty simple question really, does Debian i.e. the current Linux Kernel handle hyperthreading well? I have a server running on an Intel Atom D510, should I have HT enabled or disabled to get the best performance? Thanks. :)