That's not my point. The HDR-FOX has hardware codecs, but only the ones the designers thought it needed. The hardware in these things is in system-on-chip - based on somebody's intellectual property (embedded IP), not bog-standard chip sets. There is usually a trade-off between SoC capacity and functionality (the bigger the silicon, the higher the final product's price point).
General purpose multi-core multi-gigahertz PC CPUs can implement any codec in software, just by writing a new routine and running it. Decisions as to which hardware codecs will be embedded in an SoC have to be frozen at a fairly early stage in the design cycle, and later developments in the world of the Internet cannot be accommodated. Example: the HDR-FOX has an MP4 codec for catch-up TV, but only the BBC provided an MP4 feed (migrating away from flv). What happened? HTML5 came along after the decisions were made, and all the other catch-up services ran that way. The BBC has ended up supporting HTML5 and MP4, something I'm sure they wish they didn't have to do.
So, like I said, unless the service is there right now, it may (but there is no certainty it will) be available in the future.