Does kdump even work on raspberry pi 4? Last I tried (some years ago) it was basically x86_64 only ;-) But yes, I'll try.