What's the status of bcm43xx-firmware? Should I continue to use it? Additionally to kernel-firmware-brcm?