Viva,
Venho deixar um update do problema: Aparentemente, há um mau contacto (ou má soldadura) na porta ethernet do PC. Ao abanar o cabo junto ao PC, nota-se que a velocidade alterna de 100 MBs para 1GBs, conforme se vai mexendo. Segundo me explicaram, a porta precisa apenas de 4 Pins para funcionar a 100 MBs, mas necessita dos 8 Pins para funcionar a 1GBs.
Agora a questão: o PC está na garantia e a reparação deve ser simples. Mas não queria ficar dias sem a máquina. Será que a HP em Portugal me arranjaria isto no próprio dia?