out of nowhere : is there any effort to build/tune linux kernel (or gnu/linux os) so that it consumes the least energy possible. (besides powertop and alike).