Introduce a common platform device initialization routine for all ARM SoCs by using the new platform driver API. Fix #3865