Fix generation of CONFIG_KVM