Dopo alcune ore di smanettamento empirico, credo di averci capito qualcosa; il problema era probabilmente causato dal fatto che il C&Q era attivo nel BIOS ma avevo lasciato W7 su "prestazioni elevate". Questo forse causava il blocco occasionale del Core1 a 800Mhz; è bastato settare su "bilanciato" ed ora tutti i core, a riposo, scendono a 800Mhz in idle, ma tornano a 3700Mhz sotto sforzo. Ovviamente non ne sono certo; vedrò meglio nei prossimi giorni.
