# CONFIG_RDS_RDMA is not set