reproduce:
        # https://git.kernel.org/pub/scm/linux/kernel/git/leon/linux-rdma.git/commit/?id=a6117e3e8c160a2b7ce2a26ff23645a2a3072001
        git remote add leon-rdma https://git.kernel.org/pub/scm/linux/kernel/git/leon/linux-rdma.git
        git fetch --no-tags leon-rdma move-drivers
        git checkout a6117e3e8c160a2b7ce2a26ff23645a2a3072001
        # choose either of the following two methods to reproduce the issue
        # 1. reproduce by kismet
           # install kmax per https://github.com/paulgazz/kmax/blob/master/README.md
           kismet --linux-ksrc=linux --selectees CONFIG_NET_DEVLINK --selectors CONFIG_MLX5_CORE -a=arc
        # 2. reproduce by make
           cd linux
           # download the config file from the "config:" link in the report, and save it as .config
           make ARCH=arc olddefconfig