generic-ipi: fix hotplug_cfd()