Hi, this is hopefully what you asked for:
External Mic (IDT High Definition Audio Codec, Ready)
Integrated Microphone Array (IDT High Definition Audio Codec, Default Device)
Stereo Mix (IDT High Definition Audio Codec, Currently Unavailable)
Here is a screencap.
