But with kernel-default-4.4.143-65.1 from Leap 42.3 rmmod for budget_ci works as expected with no crashes. So for the moment I use the old kernel. This is only a temporary solution, I hope. Please tell me, if I can test anything else or provide the crash logs. Because kdump is running in this machine, I have four saved crash dumps. I'm available until next monday before going on vacation for a few weeks.