Raspberry Pi OS 64 Bit conversion

Hello,

I’ve tried to do a conversion of a vanilla 2022.01 Raspberry Pi OS 64bit image directly from the raspberry pi foundation and had no success. The only thing I changed in the config files was in raspberrypi4_config to have RASPBERRYPI_KERNEL_IMAGE="kernel8.img" as that is the 64 bit kernel, and it failed to actually boot past the rainbow splash screen. Mender-config did not throw any errors. Ideas?

This Is prbably due the fact that the u-boot image installed is compiled as 32bit binary which in turn expects to load a 32 bit kernel.