The board design team defines the FPGA device symbol for use in our Xilinx Development Board schematics early in the design cycle. By rule, they will generate a generic symbol with the largest device in that package for the symbol.
To confirm what device is actually shipped on the Development Board you are purchasing, please see the product page for that board.