How to install syslinux-efi on Debian Unstable (Sid)