gcc: fix compile errors for gcc 4.8
CPU: add intelliplug
sched: add avg
kernel: tick-sched update