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