1. Navigate to Tools>Generate Memory Configuration File
2. Set the File type to MCS, the memory part should be the s25fl128sxxxxxx0-spi-x1-x2-x4, name the file hexcount.mcs, select load bitstream files, and browse for your bitstream file.
Next Steps:
Using hardware manager, connect to the board then right click on the device and select "Add Configuration Memory Device"
Navigate to the correct memory location by inputting 128 bits for memory,and select Spansion for manufacturer. $ options should show up select the one that has xxxxxx0 at the end of the name.
Answer OK to programming the memory device, and then select the .mcs file you created in the step above which should automatically save into the location you set on installing Vivado (Most likely C drive). Finally right click on the device again and select "Boot from Configuration Memory Device".