Do any other ARM SoCs have open-source video decoding? AFAIK PRi has proprietary video decode only, and I've never even heard of Linux video decode for...