Encontrou uma solução alternativa para esse problema.
Descobri que o problema está na versão do kernel.
Anteriormente, eu tinha a versão 3.2.0.24
e, depois da atualização, recebi 3.2.0.25
.
Como solução alternativa, tenho que selecionar a versão anterior do kernel no menu de inicialização grub
.