bhyve bhyve VMX bug

[RGM-79N]

Hi

I've just submitted bhyve VMX triple fault bug

PR 292798

I was wondering whether I correctly wrote bugreport, tagged correct mailing lists..

Could anyone please take a look?

Any troubleshooting tips are welcome