Er mag Holzmann nicht, daher ist es off-topic.
Den Leerlaufverbrauch wirste nur mit den detailierten Möglichkieten des Powersettingsexplorer halbwegs in den Griff bekommen, abseits des BIOS. Ich würde seine CPU aber immer noch nicht als im Leerlauf bezeichnen, Pollingrate bei HWinfo reduzieren...