Es würde mich wundern wenn es am SP3 liegt, da dieses SP nichts an Windows verändert wie SP2, sondern nur Fixes mitbringt die so oder so über Windows Update runtergeladen werden würden.
Es könnte daran liegen, das sein System Übertaktet ist. Er hat eine FSB1333 CPU, die der Chipset auf dem Board normalerweise nicht ab kann. AsRock übertaktet bei diesen Modellen, wie er eins verwendet, dann automatisch das System so das die CPU ordnungsgemäß erkannt werden kann und nicht auf FSB1066 runter getaktet wird. Das zieht allerdings alles in mitleidenschaft, und bei PCI-E ist Übertakten schon so eine Sache, anders als bei AGP/PCI Systemen.