On an Acer Aspire one running Crunchbang (a derivative of Ubuntu), I get the following message:

Clocksource tsc unstable ( delta = -30...)

with more numbers after the -30. I've googled around, and the solution of adding clocksource=hpet to the kernel line of my boot menu presented itself. However, the message is still there during boot.

From what I've read, it is because the BIOS uses CPU frequency scaling to conserve power during boot. However, I don't really care if it conserves a little bit more power during boot - I'd rather have it boot faster. However, there's no option in the BIOS to change clock *anything*. So my question is:

How can I make the kernel use hpet earlier in the boot process/stop frequency scaling.