Actually, that gave me the great opportunity to finally change my Pi4 to a 64bit OS. I did not even know that it exists, my Pi was a bit of an old leftover. Now it features a NC25 with a new life. Also got rid of many “testing” installations of strange software. The whole updating didn’t even take long and was overdue. But the 25 runs fine on it, seems to even outperform my Intel NUC with a core i3.