Implement the ARM VFP half precision floating point extensions.
Signed-off-by: NPaul Brook <paul@codesourcery.com>