external/libavc/: optimization

(this is an ittiam library, so this work will presumably be done by them.)

looks like this library needs saturating arithmetic, for which there's no extension yet.

but right now, we need some optimized assembler written using V.