KVM: x86: Wrong assertion on paging_tmpl.h