Resolved by myself: used instructions found here: https://www.raspberrypi.org/documentation/installation/sdxc_formatting.md

Hi all! As in title, I just need help getting started. I have a 64GB SDcard. I've managed to format it as FAT32 using the suggested Minitool Partition Wizard (and a few other tools as well) and then put the OS files onto the SDcard, but the Pi won't boot.