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