[S390] cio: Use device_is_registered().