BTW: kudos for bringing Fedora to the RPi platform. I'm so happy not to be building custom kernels and to be running the same distribution I use on my other computers. Keep up the good work !