There are no code changes, the workaround is simply to disable HT in
   the BIOS.  There may be some code changes later, if it's determined
   that they can feasibly provide any benefit - it's not entirely clear
   that they can.


of course code patches could help -- do not spin up logical cpus,
only the physical ones.


.mrg.