To find out what bootloader your DM800 is simply do the following
* Telnet to your box
* Log in
* Type ' ipkg list '
* Look for the line - dreambox-secondstage - 7#-r0 -
And hey presto, you now know for sure what bootloader your DM800HD is.