Alright, thanks everyone. I found the cause of the problem (probably I’m stupid not to have thought of this sooner, so sorry for being so ignorant). Here’s what happened: ROCK failed to function after the update. I restarted it, unplugged it etc. and it would not start again. Here’s why: The NUC tried to boot from the attached SSD, rather than from the integrated one. The attached SSD holds my music files, the integrated one holds the system. I thus unplugged the attached SSD, restarted, and immediately everything was working again. Sorry again for all the fuss + thanks for your support!