According to the ConnectCore 6UL Hardware reference manual, pins LGA_D3(power group VLDO2) and LGA_D4(power group VLDO4) are commented as "Input power line". Is that correct? It seems a typo because in the "Power supply architecture" they are drawn as output. Please advise