Svasta... Pa naravno da je na github-u iskljucivo source, tome github i sluzi.
Ako hocete prekompajlirane kernele, trazite drugdje.