Symbol: MAX_PTP_GPIO_COUNT