Updating binaries to support elf64 while creating kernel with ELF binary.