reproduce:
        git checkout 9852d85ec9d492ebef56dc5f229416c925758edc
        b4 shazam https://lore.kernel.org/r/20241007131620.2090104-8-arnaud.pouliquen@foss.st.com
        # 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_TEE --selectors CONFIG_STM32_RPROC -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