cpufreq: Fix build of s3c64xx cpufreq driver for header change