Addendum to previous commit

This patch is an addendum to the previous commit and adds support for
VMX_GUESTINFO to the dscheck file.
1 file changed