[RFC PATCH v3 1/2] efi_loader: introduce "bootefi bootindex" command