[PATCH] Fix "CONFIG_X86_64_" typo in drivers/kvm/svm.c