Servus, um meinen RevPi Connect + auf ein 64 Bit System zu upgraden hab ich zunächst das aktuelle Rasbian Desktop 64 Bit Image geflashed. Anschließend bin ich den Schritten gemäß https://github.com/RevolutionPi/kernelbakery gefolgt und habe die beiden Dateien installiert. Beim neustarten des Systems...