[SuperiorEDL]

Eso el kernel source/código fuente del kernel, solo sirve para desarrolladores y gente que sepa. Es decir, que no es un kernel que se instala, además es el que usa la roms stocks...