[PATCH] kvm: Fix mismatch between 32-bit and 64-bit abi