Which GPIO for GPU corresponds the Pins B23 and B25 on JetsonTX1_OEM_Product_DesignGuide ?

They are GPIO6/7 as you can find in page 19 of JetsonTX1_Developer_Kit_Carrier_Board_Spec.pdf

[url]http://developer.nvidia.com/embedded/dlc/jetson-tx1-developer-kit-carrier-board-spec[/url]