Hi,
This version is 10 months old; please upgrade and try again as the bug may have been fixed already.
This was spot-on, thank you.After a dist-upgrade, the machine stopped crashing while syncing the RAID arrays at boot and didn't crash while checking the array, which is now clean.
I tried closing the bug report here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=969979 but couldn't find the procedure, would you mind doing it? Best regards! Sébastien.