Using a Cyanogen device with Android SDK (specifically device manager) topic

I'd like to us my Motorola Defy+ that is running CM 11.0 as a test device for an application that I am developing using Android Development Tools (ADT). Currently I get "????????????" for Serial number, "N/A" for AVD Name, and "Unknown" for the target. My non-Cyanogen devices are all detected correctly and show device specific values for these fields.
Has anyone else encountered and solved this problem? TIA.