Add Thalamus ARM Generic Hotplug interface (thanks to Thalamus & Francisco Franco)