vfp: since we use hardfloat, change the modifer accordingly

Change-Id: Id5e8e5f888fdbecf8d3329ee8d1b9b37fcf680ad
Signed-off-by: Dennis Rassmann <showp1984@gmail.com>
Signed-off-by: Josue Rivera <prbassplayer@gmail.com>
mpdec: FIX BUG#27

Unplugging a boosted CPU will cause it to come back with
the boosted minimum frequency and stay on it.
(it gets stuck on boost)

Change-Id: I0f28203d54a9794648fff0577805db722b4bba52
Signed-off-by: Dennis Rassmann <showp1984@gmail.com>