# CONFIG_SCSI_UFSHCD is not set