Disable EXYNOS cpufreq drivers.  They don't currently build:
    
    + make -s ARCH=arm V=1 -j4 bzImage KALLSYMS_EXTRA_PASS=1
    arch/arm/kernel/return_address.c:63:2: warning: #warning "TODO: return_address should use unwind tables" [-Wcpp]
     #warning "TODO: return_address should use unwind tables"
      ^
    arch/arm/mm/dma-mapping.c:253:2: warning: #warning ARM Coherent DMA allocator does not (yet) support huge TLB [-Wcpp]
     #warning ARM Coherent DMA allocator does not (yet) support huge TLB
      ^
    drivers/cpufreq/exynos-cpufreq.c:21:22: fatal error: plat/cpu.h: No such file or directory
     #include <plat/cpu.h>
                          ^
    compilation terminated.
    make[2]: *** [drivers/cpufreq/exynos-cpufreq.o] Error 1