Prima di tutto, scarica il pacchetto del kernel di cui hai bisogno da [http://www.kernel.org kernel.org] o dai repositories di Ubuntu. Se vuoi il kernel ufficiale del Team Ubuntu, ti basterà eseguire:

sudo apt-get install linux-tree