Index: sys/arch/evbarm/conf/mk.rpi
===================================================================
RCS file: /cvsroot/src/sys/arch/evbarm/conf/mk.rpi,v
retrieving revision 1.3
diff -u -p -r1.3 mk.rpi
--- sys/arch/evbarm/conf/mk.rpi	9 Feb 2013 20:48:38 -0000	1.3
+++ sys/arch/evbarm/conf/mk.rpi	28 Jul 2014 08:26:54 -0000
@@ -10,7 +10,7 @@ _OSRELEASE!=		${HOST_SH} $S/conf/osrelea
 GENASSYM_EXTRAS+=	${THISARM}/rpi/genassym.cf
 
 KERNEL_BASE_PHYS=0x00008000
-KERNEL_BASE_VIRT=0xc0008000
+KERNEL_BASE_VIRT=0x80008000
 
 SYSTEM_LD_TAIL_EXTRA+=; \
 	echo ${OBJCOPY} -S -O binary $@ $@.bin; \
Index: sys/arch/evbarm/conf/std.rpi
===================================================================
RCS file: /cvsroot/src/sys/arch/evbarm/conf/std.rpi,v
retrieving revision 1.14
diff -u -p -r1.14 std.rpi
--- sys/arch/evbarm/conf/std.rpi	6 Apr 2014 12:43:18 -0000	1.14
+++ sys/arch/evbarm/conf/std.rpi	28 Jul 2014 08:26:54 -0000
@@ -9,18 +9,18 @@ include 	"arch/evbarm/conf/std.evbarm"
 include		"arch/evbarm/conf/files.rpi"
 
 options 	MODULAR
-options 	ARM11_COMPAT_MMU
+#options 	ARM11_COMPAT_MMU
 options 	__HAVE_CPU_COUNTER
 options 	__HAVE_FAST_SOFTINTS		# should be in types.h
 options 	__HAVE_CPU_UAREA_ALLOC_IDLELWP
 options 	__HAVE_MM_MD_DIRECT_MAPPED_PHYS
 options 	TPIDRPRW_IS_CURCPU
 options 	ARM_HAS_VBAR
-options 	KERNEL_BASE_EXT=0xc0000000
+options 	KERNEL_BASE_EXT=0x80000000
 
 options 	EVBARM_BOARDTYPE="rpi"
 makeoptions	BOARDMKFRAG="${THISARM}/conf/mk.rpi"
-makeoptions	LOADADDRESS="0xc0008000"
+makeoptions	LOADADDRESS="0x80008000"
 
 options 	ARM_INTR_IMPL="<arch/arm/broadcom/bcm2835_intr.h>"
 options 	ARM_GENERIC_TODR