Hm, perhaps you have answered my original points indirectly here! I'm no Linux or ARM guru, but from those three statements, it seems possible that the CPU is using around 90mA, and any savings from idle-waiting etc. will be unlikely to create any greater benefit.
Two cores at 90mA, 40mA...