ARM: fix building with gcc 4.6.4

GCC fails to build the kernel if EABI is selected, and the default FPU
is selected.  Avoid this by explicitly stating that we want VFP with
EABI.

Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>