Add x86_64_defconfig