You could try this diff - it should make the machine panic but if
you can get a trace of where the kernel is when it panics then that
could be useful.
To get a trace back you will need to compile the kernel with the
debugger and then type "t" when it panics. Copy down what gets
printed and mail it to the followup address for the PR. Basically
you'll need to add: