Disable checking VCPU_REGS temporarily
Disable checking VCPU_REGS temporarily

`offset_of` is not powerful enough so we cannot correctly calculate the offset of nested fields.

project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification,project-oak/hafnium-verification