Respecto a los kernels, un poco más para atrás hablan de ese tema. (y sí, se pueden descargar desde el villainSetup).
Lo del market... se supone que las que tienes instaladas son del applanet? si es así, fíjate en las versiones. Si la del market es la misma o superior a la que ya tienes, y para evitar problemas, desinstala primero la que tienes y después instalas la del market.
