Small update:

With newest WHQL Adrenaline Drivers (19.12.2) I've managed to run VRAMs stable @ 2200 MHz, and I might try even higher.

It would be awesome if somebody could tell me how to manually adjust timings in a safe way, or have PBE update for these set of Samsung VRAMs (K4G80325FC).

Maybe for Christmas?