Re: [PATCH] drm/lima: Use delayed timer as default in devfreq profile