<cpus>
  <model name='Haswell-v2'>
    <decode host='on' guest='off'/>
    <model name='Haswell-noTSX'/>
  </model>
</cpus>
