BTW I should have said this is how I do it ;-)
Step 1. Click Start, type cmd, right-click Command Prompt and select Run as administrator to open Command Prompt.
Step 2. Type diskpart in Command Prompt window, and press Enter to open Diskpart.
Step 3. Type list disk in Command Prompt window, and press Enter.
Step 4. Type select disk 1 and press Enter. Replace “1” with the disk number of the target SD card.
Step 5. Type clean and press Enter.
Step 6. Type create partition primary size=32768 and press Enter to create a 32GB partition on the SD card.
Step 7. Type assign letter=K (say) and press Enter to set a drive letter for the partition. Replace “K” with the preferred letter of the drive.
Step 8. Type list partition and press Enter.
Step 9. Type select partition 1 and press Enter. Replace “1” with the partition number of the target 32GB partition on the SD card.
Step 10. Type format fs=fat32 quick and press Enter to format it to FAT32.
Then use EOSCard to set the boot flag.
But I only end up with a 32Gb card ;-) :-(
Update: maybe I should have changed the primary size to be the 64gb size?