* Ward Vandewege ward@gnu.org [070521 21:30]:
I've attached my cpuinfo output from the proprietary BIOS, and from LB with your patch.
Did you set K8_REV_F_SUPPORT=1? Otherwise Sven's patch will not work.
Interestingly enough, the proprietary BIOS gets the model name right, but not the cpu clock frequency (!).
Maybe power now or something?