Neanche io sono una cima, mi limito a seguire le istruzioni. Sono riuscito a compilare su openWRT e da li ho imparato che frequentemente i pacchetti che ottieni sono poi legati alla versione del Kernel e a volte non funzionano lo stesso perché il kernel è stato personalizzato per cui alcune cose sono state rimosse.
Ho anche io quei sorgenti ma, come avevo scritto, mi manca il compilatore ma, anche se lo avessi, non saprei come inserire qualcosa nella Vodafone TV. Ci vorrebbe un exploit per entrare o anche un terminale seriale per eventualmente montare una pennetta e copiare da li.
Intanto, se vuoi, posso mettere qui ciò che avevo trovato e salvato, da qualche parte.