This is (probably) not a codec issue, since VLC is built against most codecs it
knows.
It should work out of the box.  Your issue is kernel-related.

-- 
Pierre Neidhardt
https://ambrevar.xyz/