[PATCH 4/7] Convert CONFIG_BCM2835_GPIO to Kconfig