Turn power on/off 3.3V on devkit carrier?

Hi,
Is it possible to toggle power on/off on pin 1 or pin 17 of the devkit carrier board from within linux or are these hardwired to the power supply?
Thanks

Sebastian

No, the 3.3v on pins is the output of DC-DC on board which is enable/disable only by CARRIER_PWR_ON.