ok, it turns out that CONFIG_SYSFS_GPIO is "safe", because you have to explicitly take action in order to make GPIO accessible (export). following the instructions here was easy to do: https://sites.google.com/site/bifferboard/Home/gpio
so, basically, CONFIG_SYSFS_GPIO could be switched on (as built-in). l. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org