How to remove freeipmi-bmc-watchdog from Debian 9 (Stretch)