/usr/bin/efi-reader /usr/lib/debian-installer-startup.d/S40efi-reader
