Hi, Martin,
As you said that there is NOT dedicated VBAT_RTC pin which can power only RTC module for LPC552x family. As you know that there are VBAT_PMU, VBTAT_DCDC, VDD_PMU and VDD, VDDA power supply pin. The VBAT_PMU is connected to internal ALWAYS-ON LDO, the ALWAYS-ON LDO provide power for the on-chip RTC module, so you can connect the back-up battery to the VBAT_PMU pin via a schottky Diode.
Connect the 3.3V external power supply to VBAT_PMU, VBTAT_DCDC, and VDD, VDDA power supply pins, for the VDD_PMU pin, you can use external power supply or internal power supply, it is dependent on you.
Pls refer to the 10.3 Power consumption in data sheet of LPC552x, the total current is about 6mA when the chip running at 150MHz, if your power supply has large serial resistor, because of the low current, it is not a big issue.
Hope it can help you
BR
Xiangjun Rong

The RTC is powered by the VDD_PD_AO power domain for LPC55xx family.
