Symbol: kvm_getmaxcpu