Reading the data sheet for the TPS65217 I've noticed that the maxium output for DCDC3 is set to 1.5V with a note that other configurations might be available after contact with TI (page 9). However, the register DEFDCDC3 allows setting the output to 3.3V and when I tried doing that it worked.
Are there any implications we should know about regarding setting DCDC3 to 3.3V instead of the listed 1.5V?
// Måns