Why is there a voltage divider on PS_MIO_VREF on the Zed board schematics? UG933 indicates it needs to be there when using an HSTL18 RGMII interface (which I would expect) but the Zed board is connected to the PHY using LVCMOS18 so why would this be needed?