indeed the upc box mentioned is a docsis cable stb from upc in ireland but i see no information whether it is smp cpu powered.
I found this out via the /pub/pce-3032/ in ToolsPackagetUPC.zip readme
and really dont know what pce-3032 covers ...?
I did see a nice linux toolchain & target filesystem in sercomm too
also, seems a similar but darker dual dvb-s vox exists for canal and that this is a part pace chipset ? seems to have pace stamps on it !
edit is dsr7231/19