SMT can be used safely, provided you check xl dmesg to ensure Xen is using the ‘correct’ way.
xl dmesg