Delete kern1.2.c