Merge changes I22ff91e8,I6dcef977 into rvc-dev

* changes:
  Dump LogBuffers to a file before crashing
  Split DumpManager into two