How to install firmware-libertas on Debian 9 (Stretch)