ARM: VFP: Fix vfp_put_double() for d16-d31