This message was posted on behalf of Intel Corporation
I would love to help you with this. Take a look at this thread: Number of GPIO pins available as interrupts on Joule, it is very complete and there is the answer that you are looking for. Anyways according to the MRAA pin mapping the J12 is 1-40 and J13 41-80.
I hope you find this useful.