[PATCH 7/8] cpufreq: zynq: Use generic platdev driver