Repair x86/x86_64 kconfig madness

Signed-off-by: Alec Ari <neotheuser@ymail.com>