Fixup possible address offsets for constant double integers
also when using Maverick to handle 64-bit integers.

Index: gcc-4.4.7/gcc/config/arm/arm.c
===================================================================
--- gcc-4.4.7.orig/gcc/config/arm/arm.c	2013-06-09 15:58:38.000000000 +0200
+++ gcc-4.4.7/gcc/config/arm/arm.c	2013-06-09 15:59:34.000000000 +0200
@@ -3938,7 +3938,8 @@
 
   use_ldrd = (TARGET_LDRD
 	      && (mode == DImode
-		  || (mode == DFmode && (TARGET_SOFT_FLOAT || TARGET_VFP))));
+		  || (mode == DFmode
+		      && (TARGET_SOFT_FLOAT || TARGET_VFP || TARGET_MAVERICK))));
 
   if (code == POST_INC || code == PRE_DEC
       || ((code == PRE_INC || code == POST_DEC)
@@ -4632,7 +4633,8 @@
 	  /* VFP addressing modes actually allow greater offsets, but for
 	     now we just stick with the lowest common denominator.  */
 	  if (mode == DImode
-	      || ((TARGET_SOFT_FLOAT || TARGET_VFP) && mode == DFmode))
+	      || (mode == DFmode
+		  && (TARGET_SOFT_FLOAT || TARGET_VFP || TARGET_MAVERICK)))
 	    {
 	      low_n = n & 0x0f;
 	      n &= ~0x0f;