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