Portátil funciona bien, pero algunas veces (por ahora pocas) no arranca.

Solo ocurre de momento algunas veces. Por ahora lo soluciono apagándolo por las bravas (pulsar botón encendido unos segundos hasta apagarse) y volviendo a encenderlo; así arranca bien, aunque tarda algo más que cuando arranca desde el principio

Repito, por ahora solo ocurre algunas veces