ACPI / hotplug: Rework deferred execution of acpi_device_hotplug()