Could you check /proc/cpuinfo contents on those affected machines? I guess all hitting the ucode 06-55-04 (family 6, model 85, stepping 4).