debian-installer/tools/ia64/efi-reader/debian
