Index: boot/arch/arm32/include/arch.h
===================================================================
--- boot/arch/arm32/include/arch.h	(revision 81f70b45d8ee6e87fc6744c75c1902de7cf7a562)
+++ boot/arch/arm32/include/arch.h	(revision 79e84c96fe25c240ff5c46651573b70d4f7bb7fc)
@@ -51,14 +51,15 @@
 
 #ifdef MACHINE_beagleboardxm
-	#define PA2KA(addr)  (addr)
+	#define PA_OFFSET 0
 #else
+	#define PA_OFFSET 0x80000000
+#endif
 
 #ifndef __ASM__
-	#define PA2KA(addr)  (((uintptr_t) (addr)) + 0x80000000)
+	#define PA2KA(addr)  (((uintptr_t) (addr)) + PA_OFFSET)
 #else
-	#define PA2KA(addr)  ((addr) + 0x80000000)
+	#define PA2KA(addr)  ((addr) + PA_OFFSET)
 #endif
 
-#endif
 
 #endif