have a look at the patch Gregoire provided starting at line 246. You may want to look for "DVBFE_DELSYS_DVBS2" which is what I think you'll need.
What version of the HVR4000 patch/driver are you using if not the same as Gregoire? Is it more recent?
I think it is more recent. It was on the linux-dvb mailing list and can be downloaded here: -
http://www.linuxtv.org/pipermail/linux-dvb/attachments/20071215/13bb7cb3/att...