offtoppic...

Does Hyper-Threading now works? Under Ubuntu 16.04 and Xen 4.4 Hyperthreading is disabeled and from my eightcore XEON D-1541 I see 8 cores instead 16