Mismatch of documents(Jetson TX1_OEM_product_designguide VS TX1_generic_customer_Pinmux_customer_rel

Hi

there is some mismatch about the two document.
for example:
E16&D16 pins marked as unused in Jetson TX1_OEM_product_designguide(page 82) but marked as GPIO3_PE_04&GPIO3_PE_05, which one I should follow?

what about the other mismatch of these two documents(did not find any yet)

can anybody help?

These pins can only be used as GPIOs, the OEM DG will be updated, thanks for your finding.