On the schematic, on the buck converter chip, the VDD_ADC line has both 1.8v and 3.3v in the name. Does that mean that it is configurable?