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

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