enable hard float

Change-Id: Ia49b1d0277b275f4978cc2b4fdba2a977f464641
ARM: mm: lazy cache flushing on non-mapped pages

Change-Id: I1a87f224c23fdadea4a11d7303f9341aec36cb6f
A few other cache related optimizations for Cortex-A9

Change-Id: Ib0830c8a2a5504ba2bf4d6d0f14aa72aebc8e888