I tried it with the output of uname --kernel-release, and it seemed to go
well.
After that, I tried sudo modprobe ath9k,
followed by a reboot.
Still not working though.
Just in case, I tried sudo modprobe ath9k nohwcrypt,
but It tells me that ath9k is an invalid argument.
Same thing with simply sudo modprobe ath9k.
So this is probably because the kernel is back in (I suppose the next step is
to check the list of loadable modules).
So I could try to remove it again (this time with modprobe --remove), and
sudo modprobe ath9k nohwcrypt.
