Commenting out the 5 lines also works on the HVR3000 but the 5 lines are in a different place. (But the same file and same 5 lines, looking at the code says it should also work for the HVR4000 but that is untested.
FireDVT can be found in menuconfig under Mnultimedia support -> DVB/ATSC adaters -> FireDTV and FloppyDTV.
Commenting out the 5 lines also works on the HVR3000 but the 5 lines are in a different place. (But the same file and same 5 lines, looking at the code says it should also work for the HVR4000 but that is untested.
FireDVT can be found in menuconfig under Mnultimedia support -> DVB/ATSC adaters -> FireDTV and FloppyDTV.
(Tested on Ubuntu 10.04 and 10.10 64bit)