Symbol: MAX_GPIO_COUNT