Oh this manual update procedure is bad anyway. The proper way to do firmware updates on Linux would be to use LVFS, with one-click updates and proper system update integration:
Unfortunately, it is not really supported by Nitrokey (yet?).
