Re: [PATCH 3/8] drm/vc4: hdmi: Properly compute the BVB clock rate