Index: boot/arch/arm32/loader/main.c
===================================================================
--- boot/arch/arm32/loader/main.c	(revision a3c43057d83397839aab7428df38436b379a2826)
+++ boot/arch/arm32/loader/main.c	(revision 9d6bfa54cd19173b48ae3d05ffc70bf7e60e75ab)
@@ -48,5 +48,5 @@
 
 /** Kernel entry point address. */
-#define KERNEL_VIRTUAL_ADDRESS 0x80200000
+#define KERNEL_VIRTUAL_ADDRESS 0x80800000