For the VDD_SOC_IN it need 1.275 to 1.5 for 528MHz for A7 core work, and 1.375 to 1.5 for 900MHz for A7 core work.

From the design I share to you, you can see that for the VDD_SOC_IN it is supply from the SW1 of the PF1550.


From the PF1550 datasheet you can see that the SW1 can supply:
SW1, 1.0 A; 0.6 V to 1.3875 V in 12.5 mV steps, or 1.1 V to 3.3 V in variable steps
So it can supply what the VDD_SOC_IN need, so you do not know what the exactly the value it is.
PMIC with 1A Li+ Linear Battery Charger | NXP Semiconductors
PF1550, Power management integrated circuit (PMIC) for low power application - Data sheet

For the DDR3L, the Voltage is 1.35V, and the power for the DDR is from NVCC_DRAM power, DDR will effect by it:
