I checked the bios/uefi settings, but they seem correct.
After that I tried to monitor the frequency trough "/proc/cpuinfo", here I see the 4Ghz+ I expect (see image).
sys/devices/system/cpu/cpu*/cpufreq/cpuinfo_cur_info still shows the base 2.85Ghz speed.
Is this a kernel issue?