<cpu> <arch>x86_64</arch> <model>Haswell-noTSX</model> <vendor>Intel</vendor> <topology sockets='1' cores='2' threads='2'/> </cpu>