Alguns como o problema se resolveu. Eu estava usando o sistema, e o gerente de atualização veio me dizendo que há atualizações disponíveis para a minha máquina, então eu olhei para as atualizações e as apliquei. Uma dessas atualizações foi uma atualização do Kernel.
Então, eu não sei se foi isso que corrigiu ou não, mas foi corrigido logo após as atualizações serem aplicadas.