In the user manual for the IOCC (page 11), the JF PMOD connector shows pins 3 & 8 both assigned to bank 34 M19. Checking with the JX2 connector pins (page 16) shows that JF pin 8 (JX pin 43) should be bank 34 M18. Which is the correct assignment for JF 8?