Index: kernel/arch/amd64/include/drivers/i8042.h
===================================================================
--- kernel/arch/amd64/include/drivers/i8042.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/amd64/include/drivers/i8042.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
@@ -0,0 +1,1 @@
+../../../ia32/include/drivers/i8042.h