Cube Kore Carrier Board AUX pin output

Reading through the docs, I see that the AUX pins can supply 5.3V if JP2 is bridged.

I was wondering what the max current output from the pins were? I was thinking of powering a Raspberry Pi 4B from these pins, unless someone knows of a better way of doing so.

F.Y.I. the RPi 4B requires 4.0V-5.5V 3A.

2.5A max.

So its better to use standalone BEC for your pi.