Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision c06994673347954891a57710998cf1e087a59e8b)
+++ kernel/arch/ia64/src/ia64.c	(revision b0f00a9ed1b00bda8a286a4c4bbe625a7f410bc6)
@@ -93,11 +93,4 @@
 void arch_pre_mm_init(void)
 {
-	/*
-	 * Set Interruption Vector Address (i.e. location of interruption vector
-	 * table).
-	 */
-	iva_write((uintptr_t) &ivt);
-	srlz_d();
-	
 }