# CONFIG_KVM_S390_UCONTROL is not set