kw bd fails when module_installs for rpi

Description:

I can't install modules on rpi 32 bits running default kw deployment.

How to Reproduce:

1. kw bd (unstable) for rpi 32-bits
2. see the error during module_installs steps
3. the issue is fixed by setting this new option strip_modules_debug_option=no in kworkflow.config, but 'yes' is the default value

Expected behavior:

• automatically appending strip_modules_debug_option=no, or
• making no of strip_modules_debug_option the default value for rpi
• warning about the new entry of kworflow.config

Screenshots:

make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- olddefconfig --silent
make -j8 ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf-
  CALL    scripts/atomic/check-atomics.sh
  CALL    scripts/checksyscalls.sh
  CHK     include/generated/compile.h
  Kernel: arch/arm/boot/Image is ready
  Kernel: arch/arm/boot/zImage is ready
-> Execution time: 00:00:04
* Preparing modules
strip: Unable to recognise the format of the input file `/home/melissawen/.cache/kw/remote//lib/modules/5.15.36-drm+/kernel/arch/arm/crypto/aes-arm-bs.ko'
make[1]: *** [scripts/Makefile.modinst:82: /home/melissawen/.cache/kw/remote//lib/modules/5.15.36-drm+/kernel/arch/arm/crypto/aes-arm-bs.ko] Error 1
make[1]: *** Deleting file '/home/melissawen/.cache/kw/remote//lib/modules/5.15.36-drm+/kernel/arch/arm/crypto/aes-arm-bs.ko'
make: *** [Makefile:1794: modules_install] Error 2
[>                                                                                                                                                                                                            ]  0%
* Sending kernel modules (5.15.36-drm+) to the remote
         54,628 100%    1.10MB/s    0:00:00 (xfr#1, to-chk=0/1)
* Sending kernel boot files
      7,565,918 100%    8.96MB/s    0:00:00 (xfr#1, to-chk=0/1)
-> Execution time: 00:00:36
Cleaning up temporary files...
Exiting...

System information:

• OS: cross-compiling from debian (x86) to raspbian (arm)
• kw Version: alpha
• Bash Version: 5.1.16(1)-release

Start with the module_installs steps of kw bd and the strip_modules_debug_option entry in kworkflow.config; reproduce the reported 32-bit Raspberry Pi cross-build. Done means the configuration handles this platform without the reported module-installation failure and gives appropriate guidance for the new option.