I installed LibreELEC on a Raspberry Pi 4 yesterday and it's working really well, except for AV1 playback. The thing is, it's almost fast enough but the video stutters every few seconds and is a little slower than it should be. Is there a way to make it faster, by switching the decoder or enabling multi-core decode or something like that?

I found this decoder which might be what I'm searching for but I don't know how to make it work in LibreELEC.