[PATCH] x86-64: Fix vgetcpu when CONFIG_HOTPLUG_CPU is disabled