Würde es eigentlich reichen, wenn man die
/lib/modules/2.6.38-13-generic/kernel/drivers/media/dvb/ttpci/budget-av.ko
durch eine gepatchte Version ersetzt und neue bootet? Der Weg einen kompletten Kernel neu zu bauen ist ja dich ein ganz schöner Aufwand.
Hat schon jemand den Kernel gepatcht und kann den Treiber als Binary zur Verfügung stellen?
Gruß, Tom