arm: u8500_hotplug

Change-Id: Ia827b6accb6cbf90fcac99376671909954a7affa