Add Thalamus ARM Generic Hotplug interface (This was taken from franciscofranco before he changed it to four cores always on) Thanks to Thalamus and Francisco