How to remove firmware-brcm80211 from Debian 9 (Stretch)