Out on SourceForge is BIOS Writer (you can download it from:
http://sourceforge.net/project/showfiles.php?group_id=2965).
I had to play with the file bioswriter.h (comment out include of sys/io.h) to get it to compile. I took a snapshot of the BIOS settings with VT turned on, rebooted the system, went into the BIOS and turned VMX off, rebooted the system and took another snapshot of the BIOS settings. There were 3 bytes (of the 128) that were different. I reset the system, went into the BIOS and turned VMX on again, rebooted and took another snapshot. The first 32-bits differed (2 of it's bytes, which were changed every time I changed the settings). The additional change was always a single bit. Try this on your system to see if this will allow you to check it on your system.