ACPI arreglado
Al final el problema de que el CPU frequency scaling funcionase mal era culpa de tener una BIOS demasiado vieja para el modelo de CPU en cuestión, al actualizar la BIOS de mi P35-DS3R a la versión P13C (beta) conseguí que todo funcionase correctamente



