mixer: add mixer_ctl_update() API

Some sound cards update their controls due to external
events, such as HDMI EDID byte data changing when an
HDMI cable is connected. This API allows the count of
elements to be updated.
mixer: add mixer_get_name() API