Index: kernel/arch/ia32/include/asm.h
===================================================================
--- kernel/arch/ia32/include/asm.h	(revision 91ef7cfd03b95d74c09164250fa9eecf96889b91)
+++ kernel/arch/ia32/include/asm.h	(revision 2bf2e1de2970bc3c40f5d3187de54b5e891ac9bd)
@@ -42,6 +42,4 @@
 #include <config.h>
 #include <trace.h>
-
-extern uint32_t interrupt_handler_size;
 
 /** Halt CPU