More than likely they'll implement a closed source player on top of the open bits, but as you
say it would be a good opportunity for open formats.
It's not at all unthinkable to have x264 video on those devices, decoding of which can be
offloaded to various media extensions some of these embedded platforms have.