I waited for one new kernel (they're coming often these days), but when that didn't help, I followed the procedure linked to in TC's reply (#14 above). That seems to have worked for my BCM4313 card in an Acer Aspire One 722.

I'm happy for now, but updates shouldn't break working drivers.