dove posso trovare un tipo di kernel per il mio dispositivo?

ciao a tutti, sono in possesso di un ONDA MY Tab+, ma è anche conosciuto con il nome zte v9a...cercavo un tipo di kernel per il mio dispositivo per poi overcloccarlo, senza cambiare rom. già feci una domanda su come cambiare rom per il mio dispositivo ma nessuno mi ha risposto, quindi adesso chiedo almeno se potete trovarmi un kernel per il mio dispositivo per poi overcloccarlo con SETcpu, già l'ho fatto su altri dispositivi quindi so quello che faccio...grz in anticipo!!! ;)