Thanks for the advice, but I made sure b43 was removed, and wl was already on the list.
Well, the Atheros WLAN module arrived today and I installed it: works like a charm. I guess the best solution is not to use a BCM43142! Thanks for all the help, everyone!
I’m glad to see you settled down. Cheers.