I am glad to hear that you got it working!
I forgot to point that out explicitly but yeah: With Microsoft Windows you have to specify the sockets, cores and threads explicitly.
As per my recollection, if you only specify the number of CPUs, bhyve creates just N sockets with one core each.
This creates all sorts of issues with Windows guests. The regular Windows desktop editions simply do not support multiple sockets (or more than 2?) and with the Server editions require you to license per socket. Therefore, you end up in a situation where your Windows guest just has one (or two?) CPUs available.
Or something along those lines... not a Windows expert - just remembering this from past troubleshooting sessions.
