el kernel publicado esta volando, pero me gusta mas el boot logo original, alguien sabe donde lo puedo conseguir o en cual directorio esta para respaldarlo????