Re: Re: [PATCH] conf: vc4-hdmi: use a proper hdmi pcm, fix broken default pcm