Added kernel include directories and renamed microkernel/i386 to microkernel/i686