x86: 64-bit defconfig remake

The current x86_64_defconfig contains a number of nonexistent
symbols. Lets fix it.
Signed-off-by: Cyrill Gorcunov <gorcunov@gmail.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>