gpio: introduce GPIO_DAVINCI kconfig option