Index: sys/arch/arm/arm32/kobj_machdep.c
===================================================================
RCS file: /cvsroot/src/sys/arch/arm/arm32/kobj_machdep.c,v
retrieving revision 1.7
diff -u -p -u -r1.7 kobj_machdep.c
--- sys/arch/arm/arm32/kobj_machdep.c	9 Aug 2013 07:12:42 -0000	1.7
+++ sys/arch/arm/arm32/kobj_machdep.c	27 Aug 2013 06:19:02 -0000
@@ -118,7 +118,7 @@ kobj_reloc(kobj_t ko, uintptr_t relocbas
 			*where = addr;
 		return 0;
 
-	case R_ARM_MOVW_ABS_NC:
+	case R_ARM_MOVW_ABS_NC:	/* (S + A) | T */
 	case R_ARM_MOVT_ABS:
 		if ((*where & 0x0fb00000) != 0x03000000)
 			break;
@@ -131,9 +131,9 @@ kobj_reloc(kobj_t ko, uintptr_t relocbas
 		    | ((addr << 4) & 0x000f0000) | (addr & 0x00000fff);
 		return 0;
 
-	case R_ARM_CALL:
+	case R_ARM_CALL:	/* ((S + A) | T) -  P */
 	case R_ARM_JUMP24:
-	case R_ARM_PC24:
+	case R_ARM_PC24:	/* Deprecated */
 		if (local && (*where & 0x00ffffff) != 0x00fffffe)
 			return 0;
 
@@ -165,6 +165,36 @@ kobj_reloc(kobj_t ko, uintptr_t relocbas
 		*where = (*where & 0xff000000) | ((addend >> 2) & 0x00ffffff);
 		return 0;
 
+	case R_ARM_REL32:	/* ((S + A) | T) -  P */
+		/* T = 0 for now */
+		addr = kobj_sym_lookup(ko, symidx);
+		if (addr == 0)
+			break;
+
+		addend += (uintptr_t)addr - (uintptr_t)where;
+		*where = addend;
+		return 0;
+
+	case R_ARM_PREL31:	/* ((S + A) | T) -  P */
+		/* 42 R_ARM_PREL31 4 sign_extend(P[30:0]) 31 - bit 2's complement */
+		/* Sign extend if necessary */
+		if (addend & 0x40000000)
+			addend |= 0xc0000000;
+		/* T = 0 for now */
+		addr = kobj_sym_lookup(ko, symidx);
+		if (addr == 0)
+			break;
+
+		addend += (uintptr_t)addr - (uintptr_t)where;
+
+		if ((addend & 0x80000000) != 0x00000000 &&
+		    (addend & 0x80000000) != 0x80000000) {
+			printf ("Relocation %x too far @ %p\n", addend, where);
+			return -1;
+		}
+
+		*where = (*where & 0x80000000) | (addend & 0x7fffffff);
+
 	default:
 		break;
 	}