O problema é causado em decorrência de atualizações para correção dos erros de design dos chips 64 bits da Intel