Hm, posted this two times but the messages got lost somehow. Sorry if this is a duplicate....
Indeed, everything works fine with kernel 3.11.
g_debug wasn't printing anything, and I am not really familiar with cmake to know...
I need some time to investigate that. But you could give some more information about...