Bobão, acho que foi uma questão de driver. Instalou firmware-atheros
dos backports do Debian e o problema não voltou a ocorrer até agora.
Obrigado pela ajuda, pessoal.
====== EDIT ======
Os drivers atualizados podem ter ajudado a reduzir a frequência do problema, mas certamente não o resolveram.
Desde então, atualizei meu kernel de 3.2 para 3.12 e não experimentei o problema desde então. Eu proponho atualizar o kernel como a melhor solução para este problema, talvez em conjunto com a instalação dos drivers atualizados.