[S390] mark disabled_wait as noreturn function