[PATCH OLK-6.6 09/10] KVM: x86: model canonical checks more precisely