I did one more rmmod command, and got a kernel oops (but not a crash) which is now documented at bug 936652.
I did one more rmmod command, and got a kernel oops (but not a crash) which is now documented at bug 936652.