# CONFIG_INFINIBAND_USER_MAD is not set