andrew 06c57264bc Rename device vfp to option VFP and retire the ARM_VFP_SUPPORT option. This
simplifies enabling as previously both options were required to be enabled,
now we only need a single option.

While here enable VFP on the PandaBoard.
2013-08-17 18:51:38 +00:00
..
2013-05-20 19:41:34 +00:00
2012-11-10 14:56:35 +00:00
2013-07-31 17:21:18 +00:00