Ciao shadow e Benvenuto sul forum!!!!
non sapendo la tua conoscenza sui kernel il primo consiglio e' quello di scaricare il kernel giusto dal sito giusto, pertanto leggi il sito stampato sulla tua r4 e solo da li' devi scaricare l'ultimo kernel disponibile.
se hai problemi scrivi esattamente il sito qui sul forum che provo ad aiutarti
ciaooooo