Symbol: ACPI_RSC_COUNT_GPIO_PIN