Genesys2 XADC Voltage Level (VADJ)

[WorldofJARcraft]

According to the Genesys2 TRM, the FMC, XADC and push buttons/switches are connected to a voltage VADJ. VADJ can be adjusted via a jumper, with a default of 1.2V (according to the TRM).
In the Genesys2 constraints file provided here, the buttons, switches and FMC are configured for LVCMOS12 correspondingly.
However, the XADC seems to default to 3.3V (

digilent-xdc/Genesys-2-Master.xdc

Line 186 in 00a3404

#set_property -dict { PACKAGE_PIN J24 IOSTANDARD LVCMOS33 } [get_ports { xa_n[0] }]; #IO_L1N_T0_AD0N_15 Sch=xadc0r_n

).
Is this intentional?
According to the TRM, in my understanding, this should also be LVCMOS12.