reproduce:
        # https://git.kernel.org/pub/scm/linux/kernel/git/pinchartl/linux.git/commit/?id=ccf04478fd461b0517a703743a57a65ca304faf2
        git remote add pinchartl https://git.kernel.org/pub/scm/linux/kernel/git/pinchartl/linux.git
        git fetch --no-tags pinchartl rpi/v6.8/isp/v2
        git checkout ccf04478fd461b0517a703743a57a65ca304faf2
        # 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_BCM2835_VCHIQ_MMAL --selectors CONFIG_VIDEO_ISP_BCM2835 -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