No final, eu usei (não me lembro se o sudo foi necessário ou não.)
(sudo) modprobe wl
para forçar o kernel a carregar o driver antigo, já que ele estava lá o tempo todo. Então, como dito acima, o driver "ausente" foi reinstalado pela rede. Estranho.