Re: [PATCH 10/10] cpufreq: mvebu: Use generic platdev driver