Frustratingly this is not part of the update in the AVD manager. But you can look for these file
Samsung_Usb_Drivers_x32.zip, connect your device, extract and install.
When prompted selected KIES in your phone.
You should see a serial number in your "Android Device Chooser" when all is working well.