Now up to r328519, but this time the last line on the console appears to
indicate that a core dump was saved. However, no core files were found
on reboot and /var/crash seems to empty, save for a file "minfree".