same happened to me, fresh ubuntu 13.04 x64 insall
robert@ws150:~$ cat /proc/asound/card0/codec* | grep Codec Codec: Conexant CX20590 Codec: Intel CougarPoint HDMI
Lenovo ThinkPad T420
3.8.0-19-generic
same happened to me, fresh ubuntu 13.04 x64 insall
robert@ws150:~$ cat /proc/asound/ card0/codec* | grep Codec
Codec: Conexant CX20590
Codec: Intel CougarPoint HDMI
Lenovo ThinkPad T420
3.8.0-19-generic