Dear maintainers, please close this bug because it turns out that the problem was damaged memory. After replacing the 8GB with two new modules, the problem didn't show up since 2 weeks. Sorry for the false bug report, Andy