KVM: Avoid using CONFIG_ in userspace visible headers