How to remove freeipmi-ipmidetect from Debian 9 (Stretch)