Non ho idea dove sia il kernel stock ma credo che su xda si trovi.. basta fare una ricerca. Ti ripeto io i kernel preferisco installarli "a mano" senza ricorrere al tool del telefono, basta andare sul thread del franco kernel su xda e scaricare la milestone 5.
PS: non so se se ne era già parlato.. il toggle della torcia non funge.