Thanks, but...
The CPU was definitely oveclocked - took a little more of my precious spare time but finally the hardware detective work payed off: it was done by increasing the system bus frequency from 100 to 133 using jumper settings on the motherboard itself. Anyway, thank you so much! :)