Two files are bcm7401.ko and stb-core.ko those are driver for tuner and card reader. If you do not find it you can extract it by:
install image that suitable your DM800(bootloader) then use DCC extract it following path: Lib/modules/2.6-5.1-brcmstb-dm800/extra