The attached patches implement most of the ARM AAPCS-VFP hard float