El kernel stock lo encuentras en el hilo de kernels de este mismo foro y para lo de la Raspberry Google es tu amigo...
.
Busca tutorial Raspbmc e investiga si es lo que te interesa, que quizás no te haga falta con tu tele. Dime el modelo exacto de tu tele
Un saludo