Instalado y funcionando.
Si alguien se queda sin cobertura recordad que hay que apagar y arrancar sin la SIM puesta en el móvil.
Tanto la primera vez como ésta que he instalado el kernel se me ha quedado como si no tuviera los IMEI. No os asustéis. Solo reiniciar quitando la SIM.