9f517cfc6b
one thing could for whatever reason not be avoided: Even though the processors of the caches inside WriteProxy are initialized, they somehow get "de-initialized" and have to be initialized again...