[BUG] Shadow VMCS handling issues

https://lore.kernel.org/xen-devel/ab3a978a-2088-4a39-a4c1-822ae5050fe6@failmail.dev/T/#u