AN31 How to create a bootable USB stick with an UEFI shell

This AN describes how to create a bootable USB stick with UEFI shell