[PATCH 6.12.y 4/5] KVM: x86: model canonical checks more precisely