a10 6800k: is 55+ °C normal for idle temperature ?