added x86_64 defconfig