just an idea/theory
what if the default OS would do the boot process at 750Mhz (150% default speed) then switch back to 500Mhz when booted ?
high clocks are a waste when idling but it could actually save battery on boot if the CPU is the bottleneck at boot time.
the LCD, memory, gfx, wifi...