Hmm, I understand the reasoning, but is this actually true for our devices?

We'd need to know the power consumption at the different CPU freqs and once the clock has stopped due to the dyntick stuff too, and then decide what usage scenario is most applicable, I don't suppose anyone has that info lying about?