Hi Michael, Sorry for delay, i never received your answer on my email. Fortunatly, the SMT patch has been included in the new upstream version "qemu-3.0.0" the August 14th 2018.
It possible to push the new version in Unstable repository or Experimental if you prefer ? Thanks, Maxime
