drm/vc4: Fix build without DRM_VC4_HDMI_CEC

As reported by @asavah.

Fixes: https://github.com/raspberrypi/linux/issues/4771



Signed-off-by: Phil Elwell <phil@raspberrypi.com>