O que está sendo relatado é a velocidade dinâmica do clock. Devido à escala de frequência dinâmica , sua velocidade de clock deve ser de apenas 3.8GHz sob carga pesada. Tanto o Ubuntu quanto o Windows irão lidar com isso da mesma forma.
Note que você deve ser capaz de definir a velocidade do relógio no BIOS, mas 1800 MHz é uma configuração perfeitamente razoável.