BPI-R64,Power supply of board

I want to use 5v and GND of 40pin pin to supply power to the board. I want to know the maximum input current.

Look at the schematic of the R64, page 08 External Buck.

You need 12V supply to make the 5v, 3.3V and 1.15V