El dato lo podés conseguir haciendo en una terminal de shell así:
# lspci
...te va dar una salida con unos cuantos datos, donde probablemente veas algo que diga Broadcom
También podés ir al CCML y buscár en el apartado de Hardware el ID del Chip.
¿Por qué no sigues con el primer post?
El paquete que instalamos anteriormente hace las veces de ndiswrapper, pero! para usar ndiswrapper hay que desinstalar el que ya instalamos al principio. Solo nos falta el controlador que usa Windows para hacer funcionar la tarjeta. Te aconsejo que continúes en el otro post.
Primero experimentemos con el paquete bcm43xx-fwcutter y si no se puede, haslo con ndiswrapper.
Saludos.