Add efi-shell 2.0 binary.