UEFI Shell binary images, generated from EDK2 stable - View it on GitHub