São seus pacotes de kernel pré-compilados para o Ubuntu 12.10 que fornecem o conjunto de patches CK, ou pelo menos o agendador BFS?
Você poderia usar os pacotes fornecidos por licorix.net .