Update instructions to replace boot1.efifat with boot1.efi

The boot1.efifat file was removed in 9a2b7c5. Update the instructions
with the file that actually exists in the system.