Bem, parece que a resposta de Brian foi a correta em sugerir este hostfix. A instalação deste patch resolveu o problema. Não podemos descartar completamente que alguma outra atualização aleatória corrigiu o problema, já que algumas atualizações foram executadas enquanto o RAM foi reduzido. Embora isso pareça o provável candidato.