[PATCH 4/6] user32: Compute DeviceID when EDD_GET_DEVICE_INTERFACE_NAME is not used.