Not sure what Linux ISOs are, but it's pretty rare that something is only available with Dolby Vision and not HDR10. Have you verified that HDR10 gives you trouble? 4K HDR is also usually HDR10, unless specifically marked as DV, in my experience.
Anyway, another option, if you don't care for HDR, is to transcode/tonemap everything in the background. This way, you don't have to worry about performance during playback.