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