Yo estoy en ello.
1. Instalé la primera vez la 5.12.17 via updater. Todo ok. De momento. No tengo la partición extendida con esta instalación. Reinicio.
2. Instalé la 5.12.17 de nuevo via updater, y como comenta @
popeyepopeye, esta vez se reinicia el terminal él solo en MiRecovery y realiza la actualización via MiRecovery. Iniciado perfectamente el sistema. Ahora sí que tengo la partición extendida. Reinicio.
3. Voy a proceder a instalar ahora MM via updater y os cuento.
Saludos.