How to remove grub-coreboot-bin from Debian 9 (Stretch)