Index: boot/arch/ia64/include/arch/arch.h
===================================================================
--- boot/arch/ia64/include/arch/arch.h	(revision 8ca4b602c9e88731eb7b89e339794815b53a2c11)
+++ boot/arch/ia64/include/arch/arch.h	(revision 889cdb1c2046af9d31d314fa691773fa2e4f9119)
@@ -36,4 +36,5 @@
 #define LOADER_ADDRESS  0x4400000
 #define KERNEL_ADDRESS  0x4800000
+#define KERNEL_VADDRESS 0xe000000004800000
 
 #define STACK_SIZE                   8192