reproduce:
        # https://github.com/krzk/linux/commit/0e275aca86857b030d8628ff0f4feac16d1627dd
        git remote add krzk-github https://github.com/krzk/linux
        git fetch --no-tags krzk-github b4/cdx-clean
        git checkout 0e275aca86857b030d8628ff0f4feac16d1627dd
        # 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_REMOTEPROC --selectors CONFIG_CDX_CONTROLLER -a=sh
        # 2. reproduce by make
           cd linux
           # download the config file from the "config:" link in the report, and save it as .config
           make ARCH=sh olddefconfig