So, up to now, I've been using ISE 14.7 iMpact to program the flash on the MicroZed using a .mcs file created following the procedure in the tutorial. I now have to migrate to Windows 10, and ISE doesn't support the Zynq in Win 10, only the Spartan-6.
Is there some way to program the flash on the Microzed using Vivado tools? I'm already using Vivado 2016.1 for my project, but the hardware manager in Vivado seems to only find the Zynq.