Just for the record, System 11 games are now rock solid 60Fps in my system without a DRC.
It was my fault: I use a customized kernel to get the most out of my system, but I messed up with the ACPI interface and cpufreq drivers, so my cores were runing at 1.6 Ghz while running the System 11 emulation.
Now I set them to 2Ghz with cpufreq-set, and I confirm their speed with "cat /dev/cpuinfo |grep Mhz".
No corta el mar sino vuela, mi velero bergantín