Prepare SD card for WinCE bring-up on VF61

Following the instructions on how to bring-up WinCE on VF61 module, I see the section “Prepare SD card and evaluate module status
If I download the latest WinCE image from here, it contains only one file with .img extension (eboot.img). Point #5 of the instructions says
Launch the tool and browse to the .img file you extracted from the download package (in the new releases is named wince.img).
but no wince.img can be found
Moreover, if I burn eboot.img using Win32 Disk Imager tool as described (under Win7 SP1 x64), the SD card remains not formatted and so it’s impossible copying any file on it.

Could you clarify how to prepare the SD card for VF61 (and update the online documentation, if needed)?

You can download image file from here →

This image burns the files as expected