A simple module for reading basic VMX related info via MSR. These values are used to setup VMX properly.