Kernel in C targeting i686