É provavelmente um bug no BIOS, no kernel ou no módulo nsf. Você deve atualizar seu firmware da BIOS se uma nova versão estiver disponível, atualizar o kernel, de preferência para a versão mais recente e ver se ainda acontece. Se ele relatar um bug usando o guia Como denunciar um bug? .