LD      drivers/usb/built-in.o

  LD      drivers/video/console/built-in.o

  LD      drivers/video/built-in.o

  LD      drivers/built-in.o

  LINK    vmlinux

  LD      vmlinux.o

  MODPOST vmlinux.o

  GEN     .version

  CHK     include/generated/compile.h

  UPD     include/generated/compile.h

  CC      init/version.o

  LD      init/built-in.o

arch/arm/mach-vexpress/built-in.o: In function `v2m_dt_timer_init':

/root/viresh/work/linux/kernel/arch/arm/mach-vexpress/v2m.c:663: undefined reference to `arch_timer_broken_for_sched_clock'

make[1]: *** [vmlinux] Error 1

make: *** [sub-make] Error 2