When using the pin mux utility with the C6745, I found the following issue. I first select the C6745. It then grays out all the pins that are not available. However, it does not gray out GP4[9]. From the datasheet, this pin is only available in the ZKB package and the C6745 is only available in the PTP package. Is this a problem or do I not understand this correctly?