a mi me gusta la opción 1
por lo general, leyendo en el foro, la gente se queda con el kernel de serie, muy poca gente cambia. Y por supuesto menos gente aún usa todos lo que hay. No creo q haya problema que cada uno se baje el kernel que le interese, o el pack con todos, como proponías.
Respecto al tema, con el Theme editor de elHechicero, se puede instalar el que se quiera...
Mi humilde opinión
un saludo