Index: kernel/arch/xen32/src/boot/boot.S
===================================================================
--- kernel/arch/xen32/src/boot/boot.S	(revision e12ccc58f0ffb42cd6c2b5def689f4d61e526d1d)
+++ kernel/arch/xen32/src/boot/boot.S	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
@@ -78,2 +78,7 @@
 shared_info:
 	.space PAGE_SIZE
+
+.global console_page
+.org 0x2000
+console_page:
+	.space PAGE_SIZE