Let me know how you get on with this.... I've been trying to find the time to get this going on my D11 box. For the short-term, I've just been using the Autotune option on the DirecTV receiver.
HD PVR: nPVR 3.2.9 with NEWA 2.13/VLC 2.1.5 Std Skin
Intel LGA 1155 H67/i5-2400 SB 3.1GHz with HDMI-out, 8GB PC3-10666, Win7 Ultimate x64, Hauppauge Colossus, 1x250GB SSD (System), 1x1TB SATA (Recordings), DirecTV HD22 STB, dtvTune.exe Ethernet channel changer
RaspBMC Client: RaspBMC rpi-3.6.11 kernel (based on Frodo 12.2) Std Skin
Raspberry Pi B, MPEG-2 & VC-1 licenses, 8GB class 6 SD, AdaFruit USB WiFi, Flirc USB receiver