reproduce:
        # https://github.com/Xilinx/linux-xlnx/commit/6c8caf3eeadd38ffab47f6cfb7dba45556256143
        git remote add xilinx-xlnx https://github.com/Xilinx/linux-xlnx
        git fetch --no-tags xilinx-xlnx lkp_test
        git checkout 6c8caf3eeadd38ffab47f6cfb7dba45556256143
        # 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_XILINX_HDCP_COMMON --selectors CONFIG_DRM_XLNX_HDCP -a=nios2
        # 2. reproduce by make
           cd linux
           # download the config file from the "config:" link in the report, and save it as .config
           make ARCH=nios2 olddefconfig