Hi Jim, thanks for the reply.
I did manage to patch KB9 directly from the memory. It worked: patched image runs 10% faster for a typical floating point calculation (determination of pi).
I wonder how many programs written back in the day are working around this bug. The bugged 6502 batch affected many KIM computers, so I think a lot of software were written with a work around for them.
The 6502 processors that have the ROR bug are ceramic/gold packaged, extremely rare because MOS Technologies corrected the problem for subsequent batches right on 1976, so It is guaranteed that none of us, PAL owners, have one in our beloved computers XD (they are really museum pieces!)
I'm gonna create a patched version of the ROM image so those who have a EPROM programmer can give it a try.
Best Regards,
Ronny