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