dav1d 0.7.1 AV1 Decoder Boosts 32-bit Arm Performance By ~28%

For those trying to carry out AV1 video decoding on a 32-bit Arm environment, the new dav1d 0.7.1 decoder should be a heck of a lot faster...