Since the platform device registration is now merged into the driver
model, remove it from the ARM specific code.