a lo mejor lo que podrias hacer es sacar el kernel de una rom stock que viene a ser lo mismo.en teoria dentro del zip deberia estar como zimage, pero vamos que alguien te lo confirme que yo se poco y mas o menos es lo que creo que se hace nen esos casos