We just received a DVB Android box from our Internet provider for an evaluation peridod.
Its specs are quite interesting, but its software - customized Android TV - is mutch limited (for example it can manage only FAT32-formatted units).
Here's an interesting page that collects all Technicolor boxes (mostly based on Marvell' SOCs too):
https://sites.google.com/view/droid-tv/…olor?authuser=0
Another interesting info page here: https://wikidevi.com/wiki/marvell
We honestly don't know if is possible - or if LibreElec community is interested in supporting these devices - to add this devices, anyway should be seriously taken in consideration (since Google adopted them for some of their home "gadgets" too).
Last but not least, here's what we found about Marvell support on Linux:
Marvell Embedded Processors · GitHub
https://github.com/torvalds/linux/tree/master/documentation/arm/marvell
Hope that inspires ! 
