Este portátil nunca funcionou bem com esta instalação. Mas como é um computador infantil, não tenho necessidade de velocidade. A carga alta parece ficar de qualquer forma, eu ainda não sei se isso é um recurso ou um bug.
Portanto, o sollution (ou, na verdade, a solução alternativa) foi fazer o clock na bios para que a CPU nunca atinja as velocidades mais altas. Isso é suficiente para mantê-lo legal. Não consegui encontrar uma maneira de definir a velocidade do ventilador como "alta" no BIOS, o que teria sido minha primeira solução.