Comment 20 for bug 1263351

It seems that there is a workaround here:

http://dhanar10.blogspot.com.br/2014/05/bcm43142-bluetooth-getting-it-to-work.html

So, is it missing a firmware binary in the package? The guy had to take the binary from windows to get work.