On the topic of power consumption, is there any recent measurement to see how much Linux is lagging behind Windows?