Make the 64-bit defconfig the x86 default for all builds,
unless x86-32 is requested explicitly.

Signed-off-by: Ingo Molnar <mingo@kernel.org>