WX58BP VT-x support?

[aab_]

My Intel WX58BP board's BIOS has an option for VT-d (and it's enabled), but Microsoft's HAV detection tool indicates that HAV "is not enabled."

Does the WX58BP support VT-x? If so, how do I enable it?

 

[aab_]

screenshot: http://communities.intel.com/servlet/JiveServlet/showImage/18037/screenshot.jpg