Re: [PATCH 1/8] cpufreq: berlin: Use generic platdev driver