Die Pflege des tp-Kernel wurde eingestellt und die Pakete aus dem PPA entfernt. Es wird empfohlen den Ubuntu-Standard-Kernel zu verwenden.