Index: kernel/arch/arm32/include/mm/page.h
===================================================================
--- kernel/arch/arm32/include/mm/page.h	(revision ae36ba018b1d7b25373160d519fbd7904dcba09c)
+++ kernel/arch/arm32/include/mm/page.h	(revision f1aa1dbe43ef05bdec1c9704027ea422a393243b)
@@ -45,4 +45,13 @@
 #define PAGE_SIZE	FRAME_SIZE
 
+#ifdef MACHINE_beagleboardxm
+#ifndef __ASM__
+#	define KA2PA(x)	((uintptr_t) (x))
+#	define PA2KA(x)	((uintptr_t) (x))
+#else
+#	define KA2PA(x)	(x)
+#	define PA2KA(x)	(x)
+#endif
+#else
 #ifndef __ASM__
 #	define KA2PA(x)	(((uintptr_t) (x)) - 0x80000000)
@@ -51,4 +60,5 @@
 #	define KA2PA(x)	((x) - 0x80000000)
 #	define PA2KA(x)	((x) + 0x80000000)
+#endif
 #endif