s390x: allow cpu hotplug via device_add