I have noticed that in the app note “Powering the AM335x with the TPS65217x” for version TPS65217 (A, B) have the VIO pin powered by VLDO1, which turns with VSYS. However the for the TPS65217C it is connected to VDCDC1, which does not turn on with VSYS. Is this an error?