iMPACT reports differences in verify on a Virtex-5 device. These differences can be removed by placing the device in BSCAN mode with the mode pins. If changing the mode pins resolves the differences, you can safely ignore them.
This problem has been fixed in the latest 9.1i Service Pack available at:
The first service pack containing the fix is 9.1i Service Pack 2.