Thank you! This worked great! I used it to resolve the same problem on a Thinkpad 11e with the BCM4352.

I had to modify /etc/apt/sources.list to look like this:
*******Code begins after...