Forse entrambi.
Solo che sotto BIOS forse la CPU resta fissa a 4GHz, mentre solo sotto Windows usa le frequenze dinamiche in base al carico... e può scendere credo fino a 1.5GHz.
Usi HWmonitor?
Si, oltre che CoreTemp e Speedfan. Tutti mi danno la stessa temperatura.