Como instalar efibootmgr no Debian 9 (Stretch)