DTB: DVB TV hat/shield support

Hi folks,

I was told by @kibi to open an issue here with regards to getting the RPi TV hat working. We did try a few things on IRC and got it sort of working but then hit a roadblock. And well rather than me going over it all again here's our conversation for you all to gander.

Any advice, tweaks or anything at all that I can do to help get this working in pure Debian I'd be ever so grateful.

Thanks.