KVM: VMX: trivial: use BUG_ON