reproduce:
        # https://github.com/krzk/linux/commit/fcc37ff0732f38ecd89c97becc32f422d6aa9f6f
        git remote add krzk-github https://github.com/krzk/linux
        git fetch --no-tags krzk-github b4/pinctrl-const-desc
        git checkout fcc37ff0732f38ecd89c97becc32f422d6aa9f6f
        # 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_OF_GPIO --selectors CONFIG_PINCTRL_K210 -a=x86_64
        # 2. reproduce by make
           cd linux
           # download the config file from the "config:" link in the report, and save it as .config
           make ARCH=x86_64 olddefconfig