CONFIG_OUTPUT_FORMAT="elf64-x86-64"
