Restarting from a freshly installed standard Sony firmware did the trick.
Not sure what action did break it initially in my case, but it was my fault for having started on the wrong build anyway.
In the end, the step by step guidance worked fine, restarting from a well-defined state.