Stefan - one other remark: I disabled processor clock scaling in the BIOS in the above-described series of tests, and this also did not help.