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