f9bb7f6a7eb0 ("x86/build: Make 64-bit defconfig the default")