Power draw Jetson TK1

I was wondering how much power can be drawn from 12v pin located on the expansionI/O header?

Check the “Jetson TK1 DevKit Specification” in here:

https://developer.nvidia.com/hardware-design-and-development

It says: