Gracias. Linpack es sólo para intel, pero probé alguno del otro enlace.
De todos modos he vuelto a desactivar el núcleo, no suelo tener cuelgues y tuve 2 en 4 horas que atribuyo al cambio (pantalla en gris, sin sonido ni nada, ni reaccionaba al botón de apagado).