[PATCH 4.18 141/168] xen: avoid crash in disable_hotplug_cpu