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