GPIO with sysfs on a Raspberry Pi