Update irq.h

add implementation for irq handles to header

kernel/irq.h

@@ -1,6 +1,8 @@
 #ifndef IRQ_H
 #define IRQ_H
 
-void irq_init();
+void irq_remap(void);
+void irq_install(void);
+void irq_handler(uint32_t int_num);
 
-#endif // IRQ_H
+#endif