Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 1ac3a52793b357f936bd41ef49db586aa1e5c1a3)
+++ kernel/arch/amd64/src/amd64.c	(revision 1735f3e4ff366ba52b91d0dc24abe085e1196d7b)
@@ -278,4 +278,9 @@
 }
 
+void irq_initialize_arch(irq_t *irq)
+{
+	(void) irq;
+}
+
 /** @}
  */