Hi,
do you also have some older kernel?
Because when I have compiled TvHeadend for "regular pc" (raspberry pi :-)), it was working without problems.
If you need just IPTV then use --disable-avahi --disable-linuxdvb --disable-v4l --disable-cwc options.
It is difficult to share my work because it is a lot of #ifdef lines added without too much sence :-)
I really just wanted to try what happens when it compiles.
But the result is not working.
If you really want to see it, I can try to put it to github to some branch.
By the way, I was working on 2.12 version.