De acordo com esta página do Ubuntu , esse modelo vem com o Ubuntu pré-instalado e usando o cartão BCM4313 que usa o driver broadcom-wl que você pode baixar aqui: link
Dadas as variabilidades do componentry instalado em máquinas, você pode querer estabelecer o PCI-ID do cartão para certificar-se de que está procurando o driver correto: $ lspci -vnn | grep 14e4 deve retornar o ID que você precisa para identificar corretamente o driver (s) que funciona com o seu cartão.
Esta pgina (apenas disponvel em cache) sugere que o driver BCM43228, o que significa que voc ainda seria capaz de usar broadcom-wl.