The config here is generally recommended https://wiki.libreelec.tv/configuration/4k-hdr and is written by me from experience with multiple ARM SoC boards; but mostly RPi4 and now RPi5 which are the family daily-driver devices. I don't have any issues with green artefacts on the screen aside from occasional moments streaming live broadcasts from a Tvheadend instance; due to signal issues on the DVB-S2 side of the setup, or bandwidth glitches which result from the Kodi client being 7,000Km from the server.
I would start with an update to a current LE13 nightly as even if you find an issue with LE12/12.2 we have no plans for more releases that would bring fixes to that version. Running newer/latest everything might not solve anything; but at least you eliminated 1,000+ differences between versions from possible suspicion.