In Table 5-3 of the Zynq-7000 PCB Design and Pin Planning Guide (UG933), it states that MIO should be pulled to Vcco_MIO1 to select the voltage for MIO Bank 1.
Is this correct?
No, this is not correct.
All mode pins are located in MIO bank 0 and need to be pulled to Vcco_MIO0 (when appropriate). Mode pins should never be pulled High to Vcco_MIO1.
Pulling them High to Vcco_MIO1 is potentially damaging to the Zynq device.