Thanks Ola, having xdevcfg included in the official kernel is very helpful. I see you also fixed device tree to enable fpga clocks, I was going to ask/investigate why they din't work for me, now I don't have to.
@sebraa one can build extra modules without recompiling the kernel, although it is often a bit tricky to get right. So yeah it would be nice if UIO divers were included in the next release, possibly as modules. And I also agree with sebraa with regard to including access to kernel config from /proc.