Olá, a todos.
Já resolvi o problema.
Já tinha tentado fazer o diagnóstico do problema, que era a funcionalidade rede sem fios não estar a funcionar, mas dizia-me sempre para verificar o comutador na parte da frente do portátil ou tentar uma combinação de teclas de função (no meu portátil é Fn + F8). Nada de especial, já que tinha o comutador ligado e não via as redes disponíveis.
Fui ao Gestor de Ligações de Rede, cliquei com o botão direito do rato sobre a wireless e apareceram-me uma série de opções. Uma delas era diagnosticar. Cliquei aí e detectou o mesmo erro de antes mas deu-me a opção de reparar. Cliquei reparar e o problema ficou resolvido.
Parece que só conseguia reparar através do Gestor de Ligações de Rede. Se calhar havia outra forma mais fácil, mas não a encontrei.
Não sei se poderá ser de alguma ajuda para alguém, mas se for, fico satisfeito.