Hardware supporting it and someone coding drivers to implement that support are different things .. is probably the reason.
Sure, but it's implemented if I understood the OP right:
QuoteLIMITATIONS:
- only MPEG2, H264 (AVC), H265 (HEVC), VP8 and VP9 codecs are supported in hardware, for now. Others are software decoded.
- R40 doesn't support H265 (HEVC) - hardware limitation
- 10-bit H265 and VP9 videos are supported only on H6 (H3, H5 and A64 don't support 10-bit HEVC nor VP9 - hardware limitation)
Test video I've used is https://test-videos.co.uk/vids/bigbuckbu…80_10s_1MB.webm