How to remove syslinux-efi from Debian 9 (Stretch)