ARM: Mention an interesting page about floating point

There are so many options on ARM...
ARM: overo has an OMAP3 which supports VFP3...

Also switch the fpu abi to hard since it's the only thing we can use
until we get proper multilib support. It builds but misses an FDT.