bcm43xx firmware not loading on boot

Strange indeed. FWIW, I found another earlier post describing the same issue with no resolution. I wonder if there’s a bug report around?