Index: arch/amd64/include/drivers/i8042.h
===================================================================
--- arch/amd64/include/drivers/i8042.h	(revision 95042fd2012cd76ab5b4872b670f82844b865b48)
+++ arch/amd64/include/drivers/i8042.h	(revision 95042fd2012cd76ab5b4872b670f82844b865b48)
@@ -0,0 +1,1 @@
+../../../ia32/include/drivers/i8042.h
Index: arch/amd64/include/i8042.h
===================================================================
--- arch/amd64/include/i8042.h	(revision 6f8a42644f9f520c53d9e649da934ac91623d29f)
+++ 	(revision )
@@ -1,1 +1,0 @@
-../../ia32/include/i8042.h