kernel/include/config/GPIO_ACPI