[CPUFREQ] S3C6410: Support 800MHz operation in cpufreq