Driver core: make device_is_registered() work for class devices