igvmbuilder: Use Vanadium's register values when building an IGVM for vanadium

[AdamCDunlap]

Google's Vanadium hypervisor configures certain registers to have certain values different from KVM's defaults. These shouldn't affect execution, but they need to match in order for the launch measurement to be correct.