Index: boot/genarch/include/softint
===================================================================
--- boot/genarch/include/softint	(revision 6b781c0c856d94b3114ccd6375bc6667a19e9bfe)
+++ boot/genarch/include/softint	(revision 6765c075aac1138738c6ee1670710f4cdbe185e7)
@@ -1,1 +1,1 @@
-../../../kernel/genarch/include/softint/
+../../../kernel/genarch/include/softint