On Tue, Mar 2, 2021 at 7:51 PM LinAdmin <linadmin@quickline.ch> wrote:There is really no good reason to run a 32-bit /kernel/ on the Pi 4, especially the version with 8GB RAM. While the bug should get fixed in principle to make the default kernel work and allow installing a 32-bit distro, the best setup for this machine (especially the versions with less than 4GB) is to use an armhf user space with a 64-bit kernel.Benchmarking shows that the Pi4 with 32 bit kernel has about double performance compared to 64 bit kernel!!!Can be more specific about what benchmarks and who ran them? This seems highly unlikely. Arnd