No, I don't think that I'm using DVB-T driver: look at the last line of dmesg output, where it says "DVBC". In first time or so, I did accidentally compile the drivers in DVB-T mode, so I think I know the (small) difference by now. I have done all those driver building steps several times ...