Re: [PATCH] drm/panfrost: make devfreq optional again