Addendum:

> My feeling is that at the announced low price it should be some e500v2-cored chip
> (QorIQ P1 or P2, probably P1022 with DIU due to HDMI traces coming from the chip).

On another site someone says he "saw that they use a P1025 chip", i.e. an e500v2-based chip without DIU. Where he saw that I've no idea though.