efi_loader: Add a wchar_t cast in efi_file_open()