Removed tepix.elf, kboot.o and kernel_core.o