Not wanting to be “that guy” constantly bumping his own thread, but just wanted to post up my solution (such as it is) to this problem in case others come along with the same issues.
Basically I would wholeheartedly recommend running LibreELEC from a USB rather than using the built-in Kodi, certainly on this particular PC anyway. I tried so many different options to remove the judder on Batocera’s Kodi, but simply put I could not find anything that ultimately gave me a performance I could be happy with.
I didn’t realise that you could run LibreELEC off a USB with persistence in this way, but it turns out you can and it is the perfect solution. I set the boot options in the PC’s BIOS to search for a USB key before going for the SSD, so now when I want to use it for video I just bob the USB key in the front and boot up. If I want gaming, just make sure the key is not in when booting up. Simple and perfect. Plus it means Kodi can be updated as it’s own separate entity, rather than relying on Batocera to update it.
Playback is noticeably judder-free in comparison. I would have to recommend this if you have the same problems as me. Hope this helps someone!