4 ms·

Ah right I thought you meant it did some kind of hot-patching - sounds like it still needs a hard restart like normal.