https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=208204
--- Comment #3 from Maurizio ---
You can try to use CPUSET(1) to start the VMs as explained in:
https://lists.freebsd.org/pipermail/freebsd-emulation/2012-November/010209.html
On an Intel Core i7-3930K based PC I am starting a Windows 7 VM
Dear port maintainer,
The portscout new distfile checker has detected that one or more of your
ports appears to be out of date. Please take the opportunity to check
each of the ports listed below, and if possible and appropriate,
submit/commit an update. If any ports have already been updated, you
