Aggirato il problema inserendo i moduli della sezione "CPU Frequency Scaling" come built-in nel kernel.