[PATCH] driver core: add helper device_is_registered()