vc4-hdmi.conf: use a proper hdmi pcm, fix broken default pcm