apparent kernel segfaults and "failed to write core file" even after putting old kernel back

[CeDeROM]

Hey David :-) Maybe you can try 'freebsd-update' to get a generic kernel
and compare the results? :-)

--
CeDeROM, SQ7MHZ, http://www.tomek.cedro.info