Собсно в свойствах указано, что он должен тянуть до 5.6 Ггц, а он только 5.3 Ггц выдаёт.
Про максимальную частоту можно посмотреть в любой справке на процессор. Ну как вариант командой lscpu
.
А фактическую либо в htop
, либо cat /sys/devices/system/cpu/cpu0/cpufreq/cpuinfo_max_freq
.
Куда копать?