Convert CONFIG_BCM2835_GPIO to Kconfig