kernel.bin -> kernel.elf