Remove kernel/main.c.