IFC6410: Clocking the CPUs above 1GHz on Linux

[Inforce]

Hi Anup, thanks for the detailed response.
It's good to hear it's just a cooling thing and not some drivers/software limitation.
I first tried with just a fan, which lowered the temperature from ~80C to ~50C, but that didn't increase the cpu frequency. I guess the fan itself is not enough. I'll try with your suggestion in the following days.
Many thanks!