device_add_user: return immediately if the new device is the same as the old device