add elf.3 binary needed for kernel