Index: arch/amd64/include/drivers/i8042.h
===================================================================
--- arch/amd64/include/drivers/i8042.h	(revision d87c3f3d6ecce3cef508faa5142aa822aa7ad387)
+++ arch/amd64/include/drivers/i8042.h	(revision d87c3f3d6ecce3cef508faa5142aa822aa7ad387)
@@ -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