Index: boot/arch/arm32/loader/main.c
===================================================================
--- boot/arch/arm32/loader/main.c	(revision a3c43057d83397839aab7428df38436b379a2826)
+++ 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
 
 
Index: kernel/arch/arm32/_link.ld.in
===================================================================
--- kernel/arch/arm32/_link.ld.in	(revision a3c43057d83397839aab7428df38436b379a2826)
+++ kernel/arch/arm32/_link.ld.in	(revision d7f8796c40c41b049e325f2536ead52925a9ebcf)
@@ -7,5 +7,5 @@
  */
 
-#define KERNEL_LOAD_ADDRESS 0x80200000
+#define KERNEL_LOAD_ADDRESS 0x80800000
 
 OUTPUT_ARCH(arm)