Added allow_hotplug debian interface option