How to install xserver-xorg-video-cirrus on Debian 9 (Stretch)