Symbol: snd_bcm2835_new_hdmi_ctl