Index: kernel/generic/include/errno.h
===================================================================
--- kernel/generic/include/errno.h	(revision 36e9cd186877d97860a6d53672806bfac213cfa4)
+++ kernel/generic/include/errno.h	(revision dabdd1aaada964f4510bd352506e4f47c078c88d)
@@ -57,6 +57,11 @@
 #define EADDRNOTAVAIL	-12	/* Address not available. */
 #define ETIMEOUT        -13     /* Timeout expired */
+//MH
+#ifndef EINVAL
 #define EINVAL          -14     /* Invalid value */
+#endif
+#ifndef EBUSY
 #define EBUSY           -15     /* Resource is busy */
+#endif
 #define EOVERFLOW	-16	/* The result does not fit its size. */
 #define EINTR		-17	/* Operation was interrupted. */
Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 36e9cd186877d97860a6d53672806bfac213cfa4)
+++ kernel/generic/src/main/kinit.c	(revision dabdd1aaada964f4510bd352506e4f47c078c88d)
@@ -94,5 +94,4 @@
 void kinit(void *arg)
 {
-
 #if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE)
 	thread_t *thread;
@@ -217,5 +216,5 @@
 		}
 	}
-	
+
 	/*
 	 * Run user tasks.
@@ -225,5 +224,5 @@
 			program_ready(&programs[i]);
 	}
-	
+
 #ifdef CONFIG_KCONSOLE
 	if (!stdin) {