[PATCH 4.4 107/113] xen: avoid crash in disable_hotplug_cpu