Just a couple corrections. The original x governors that imoseyon did for the thunderbolt were the regular governor with a screen off max speed set.
There was a v2 of interactiveX that offlines a core on screen off. AFAIK that never happened for ondemandX.
The design of Wheatley was to maximize time in the c4 state. The rest looks OK.
Sent from my Galaxy Nexus using Tapatalk 2