O.k., I just tried the old 1001 BIOS, and surprise surprise, as I expected the stuck HTF multiplier problem is gone. With 1003, 1004, and 1005 the best "CPU Frequency" I could get (with the CPU and memory underclocked) was about 220 MHz without corrupting the SATA drives.
With a quick test...