[PATCH v5 00/12] drm/vc4: Allow for more boot-time configuration