Re: [coreboot] Quad core CPU overheat?