[coreboot] Regarding Intel CPU frequency.

Hi,

I am using coreboot to boot Denverton cpu (CPU C3558) based board.

I can see that the cpu frequency is set to the correct value i.e. "2200 Mhz" under the coreboot logs.
.
"
CPU #3 initialized
bsp_do_flight_plan done after 146 msecs.
cpu: frequency set to 2200
"

Later when I check the frequency reading under linux (kernel version 4.19) , It comes out as 800 Mz:

model name      : Intel(R) Atom(TM) CPU C3558 @ 2.20GHz
stepping        : 1
microcode       : 0x24
cpu MHz         : 800.000

When I reprogram the board with BIOS, the cpu frequency gets reflected correctly (i.e. 2200 MHz) with the same kernel image.

I have also tried out the different Grub command line options like disabling the pstate, and idle state e.t.c, but the end result remains same.

Can anyone please provide me some suggestions. Is there is any cpu specific settings which needs to enabled under coreboot or with Intel-FSP ?

Thanks,
Nitin.