Frequency is now part of the power model. Input configuration file has a frequency field. VM has access to F/V through driver.

TODO: test DVFS