Changes back to binary format for kernel.bin