[NEW PATCH] Get dmId from device number instead of looking for it (via gerrit-bot)