KVM: SVM: fix 32-bit compilation