This is based on the x86-64 defconfig which works on a wide range of systems.
Signed-off-by: Andi Kleen <ak@suse.de>