reproduce:
        # https://git.kernel.org/pub/scm/linux/kernel/git/linusw/linux-pinctrl.git/commit/?id=966942ae493650210b9514f3d4bfc95f78ef0129
        git remote add linusw-pinctrl https://git.kernel.org/pub/scm/linux/kernel/git/linusw/linux-pinctrl.git
        git fetch --no-tags linusw-pinctrl ib-nomadik-gpio
        git checkout 966942ae493650210b9514f3d4bfc95f78ef0129
        # 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_GPIO_SYSCON --selectors CONFIG_GPIO_SAMA5D2_PIOBU -a=alpha
        # 2. reproduce by make
           cd linux
           # download the config file from the "config:" link in the report, and save it as .config
           make ARCH=alpha olddefconfig