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