I was advised in a previous post to turn off hyperthreading in the server bios. We have searched everywhere and can not find that option. We have an IBM Xseries 235, type 8671G1X (a few of them). I notice that ACPIDRV.psm takes a very long time to load at startup - does this have anything to do with hyperthreading and/or processors? Any other place to turn off hyperthreading?