[PATCH] CPU hotplug broken with 2GB VMSPLIT