It occurred to me that Elad Efrat wrote in gmane.os.netbsd.ports.x86-64:
> hi,
>
> may be relevant, here are 'openssl speed' results:
>
> http://www.bsd.org.il/netbsd/acpi/freq.1800
> http://www.bsd.org.il/netbsd/acpi/freq.2000
>
> and dmesg:
>
> http://www.bsd.org.il/netbsd/acpi/dmesg

Likewise (Athlon64 3000+, Winchester core): 

http://bigbird.dohd.org:3021/NetBSD/freq.1800
http://bigbird.dohd.org:3021/NetBSD/freq.1000
http://bigbird.dohd.org:3021/NetBSD/dmesg

Funny to see two processors which are marketed using the same name (3000+, but
judging by the clock frequency of 2000 MHz Elad's is a Venice one) behave so 
differently.