How should you handle 3.3V I/O pins set to VCCINT on vertical migration between 10CL016 and 10CL025 ?

We have a design that fits into a 10CL016 but we want to be able to use the 10CL025 in the future if our design requirements change. I have successfully compiled the design with vertical migration s...