Add kernel gcc optimizations
Include support for BFS CPU Scheduler
Include support for Tuxonice
UKSM for kernel 3.12