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