GPIO on Fedora, or how to turn on an LED