kernel.c moved to i686 directory