Hi,
For LPC55xx,the VDD_PMU power supply pin can power the core and peripherals, it's voltage is required to vary with the core frequency with software control, for example it can output 1.0V, 1.1V and 1.2V which corresponds to different core frequency. If you use on-chip DC/DC converter, it is easy to implement to adjust the voltage of the VDD_PMU power supply pin with different core frequency. If you use external regulator, it is almost impossible to adjust the voltage of VDD_PMU power supply pin.
In conclusion, it is strongly recommended to use on-chip DC/DC converter. Furthermore, we never have a test or verification to use external regulator for the VDD_PMU pin.
Hope it can help you
BR
XiangJun Rong