Linux Kernel 3.4.80 without sched/time

without:

*kernel/sched/core.c
*kernel/sched/fair.c
*kernel/sched/rt.c
*kernel/sched/sched.h
*kernel/time/timekeeping.c

Change-Id: I01df027417906d7b7bd510d9cb0997064dc66280