[PATCH v4 4/4] devfreq/drivers/lima: Use devfreq cooling device registration