Yes, I agree. I have started making some changes and pushed the result to kvm/arch-lbr-for-weijiang.
Most of the MSR handling is rewritten (and untested).
The nested VMX handling was also completely broken so I just removed it. Instead, KVM should be adjusted so that it does not whine.
Noted, I'll run tests based on it, thanks a lot!
Has the branch been pushed? I cannot see it.