Re: [PATCH 1/1] x86: SMT broken on Xen PV DomU since 6.9 (updated)