Fix ia64 build on kvm_arch_get_supported_cpuid()