[PATCH v4 11/14] arm64: defconfig: Enable devfreq cooling device