[kbuild-all] Re: [PATCH v3] KVM: kvmclock: Fix vCPUs > 64 can't be online/hotpluged