Ich nahm eigentlich an, dass der vlc media player einen eigenen Codec hat, der Multi-Core-fähig ist. Ansonsten musst du dir eben den passenden Codec selber suchen, bist doch der "checker".