[AMDBulldozer]

minos66, к сожалению BIOS - это не показатель. Процессор стартует в режиме максимальной производительности. А ввод с клавиатуры ожидает в пустом цикле. Уменьшать частоту должен драйвер. Сейчас он является частью ACPI, раньше загружался в составе ядра ОС... Поэтому в BIOS процессор может как греться (это было типичным поведением для старых систем), так и не очень. Вообще говоря, у меня датчик температуры в BIOS всегда показывает значение выше, чем в простое после загрузки ОС. Хотя это, конечно, ничего не значит - такая разница может объясняться не только более примитивными способами энергосбережения BIOS (если такое энергосбережение вообще существует), но и просто различием в алгоритмах пересчета показаний датчиков в градусы Цельсия.