Hi, I've setup a FAT32 partition from which I want to be able to boot into the EFI environment (the shell). How do I set up the file system with the correct boot files?