For the OP, make sure you have the latest BIOS. I had a similar problem with vt-x and it was solved by a later BIOS upgrade.
hth,
Doug
--
Change is hard.
_______________________________________________
freebsd-hackers@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
To unsubscribe, send any mail to "freebsd-hackers-unsubscr...@freebsd.org"
