Thanks to Vlad Galu I was able to acquire a full crashinfo and kernel dump after a system freeze. I put all the files at: http://pluto.stsisp.ro/fbsd/ I hope this will help somebody in finding the race condition.